exocortex   130

« earlier    

Ask HN: How do you manage your one-man project? | Hacker News
The main thing is to not fall into the "productivity porn" trap of trying to find the best tool instead of actually getting stuff done - when something simple is more than enough.
hn  discussion  productivity  workflow  exocortex  management  prioritizing  parsimony  recommendations  software  desktop  app  webapp  notetaking  discipline  q-n-a 
4 weeks ago by nhaliday
Ask HN: Favorite note-taking software? | Hacker News
Ask HN: What is your ideal note-taking software and/or hardware?: https://news.ycombinator.com/item?id=13221158

my wishlist as of 2019:
- web + desktop macOS + mobile iOS (at least viewing on the last but ideally also editing)
- sync across all those
- open-source data format that's easy to manipulate for scripting purposes
- flexible organization: mostly tree hierarchical (subsuming linear/unorganized) but with the option for directed (acyclic) graph (possibly a second layer of structure/linking)
- can store plain text, LaTeX, diagrams, and raster/vector images (video prob not necessary except as links to elsewhere)
- full-text search
- somehow digest/import data from Pinboard, Workflowy, Papers 3/Bookends, and Skim, ideally absorbing most of their functionality
- so, eg, track notes/annotations side-by-side w/ original PDF/DjVu/ePub documents (to replace Papers3/Bookends/Skim), and maybe web pages too (to replace Pinboard)
- OCR of handwritten notes (how to handle equations/diagrams?)
- various forms of NLP analysis of everything (topic models, clustering, etc)
- maybe version control (less important than export)

- Evernote prob ruled out do to heavy use of proprietary data formats (unless I can find some way to export with tolerably clean output)
- Workflowy/Dynalist are good but only cover a subset of functionality I want
- org-mode doesn't interact w/ mobile well (and I haven't evaluated it in detail otherwise)
- TiddlyWiki/Zim are in the running, but not sure about mobile
- idk about vimwiki but I'm not that wedded to vim and it seems less widely used than org-mode/TiddlyWiki/Zim so prob pass on that
- Quiver/Joplin/Inkdrop look similar and cover a lot of bases, TODO: evaluate more
- Trilium looks especially promising, tho read-only mobile and for macOS desktop look at this: https://github.com/zadam/trilium/issues/511
- RocketBook is interesting scanning/OCR solution but prob not sufficient due to proprietary data format
- TODO: many more candidates, eg, TreeSheets, Gingko, OneNote (macOS?...), Notion (proprietary data format...), Zotero, Nodebook (https://nodebook.io/landing), Polar (https://getpolarized.io), Roam (looks very promising)

Ask HN: What do you use for you personal note taking activity?: https://news.ycombinator.com/item?id=15736102

Ask HN: What are your note-taking techniques?: https://news.ycombinator.com/item?id=9976751

Ask HN: How do you take notes (useful note-taking strategies)?: https://news.ycombinator.com/item?id=13064215

Ask HN: How to get better at taking notes?: https://news.ycombinator.com/item?id=21419478

Ask HN: How did you build up your personal knowledge base?: https://news.ycombinator.com/item?id=21332957
nice comment from math guy on structure and difference between math and CS: https://news.ycombinator.com/item?id=21338628
useful comment collating related discussions: https://news.ycombinator.com/item?id=21333383
Designing a Personal Knowledge base: https://news.ycombinator.com/item?id=8270759
Ask HN: How to organize personal knowledge?: https://news.ycombinator.com/item?id=17892731
Do you use a personal 'knowledge base'?: https://news.ycombinator.com/item?id=21108527
Ask HN: How do you share/organize knowledge at work and life?: https://news.ycombinator.com/item?id=21310030

other stuff:
Tiago Forte: https://www.buildingasecondbrain.com

hn search: https://hn.algolia.com/?query=notetaking&type=story

Slant comparison commentary: https://news.ycombinator.com/item?id=7011281

good comparison of options here in comments here (and Trilium itself looks good): https://news.ycombinator.com/item?id=18840990



Roam: https://news.ycombinator.com/item?id=21440289

intriguing but probably not appropriate for my needs: https://www.sophya.ai/

Inkdrop: https://news.ycombinator.com/item?id=20103589

Joplin: https://news.ycombinator.com/item?id=15815040

Leo Editor (combines tree outlining w/ literate programming/scripting, I think?): https://news.ycombinator.com/item?id=17769892

Frame: https://news.ycombinator.com/item?id=18760079

Notion: https://news.ycombinator.com/item?id=18904648


interesting comment(s) about tree outliners and spreadsheets: https://news.ycombinator.com/item?id=21170434
hn  discussion  recommendations  software  tools  desktop  app  notetaking  exocortex  wkfly  wiki  productivity  multi  comparison  crosstab  properties  applicability-prereqs  nlp  info-foraging  chart  webapp  reference  q-n-a  retention  workflow  reddit  social  ratty  ssc  learning  studying  commentary  structure  thinking  network-structure  things  collaboration  ocr  trees  graphs  LaTeX  search  todo  project  money-for-time  synchrony  pinboard  state  duplication  worrydream  simplification-normalization  links  minimalism  design  neurons  ai-control  openai  miri-cfar 
5 weeks ago by nhaliday
Zettelkästen? | Hacker News
Here’s a LessWrong post that describes it (including the insight “I honestly didn’t think Zettelkasten sounded like a good idea before I tried it” which I also felt).

yeah doesn't sound like a good idea to me either. idk
hn  commentary  techtariat  germanic  productivity  workflow  notetaking  exocortex  gtd  explore-exploit  business  comparison  academia  tech  ratty  lesswrong  idk  thinking  neurons  network-structure  software  tools  app  metabuch  writing  trees  graphs  skeleton  meta:reading  wkfly  worrydream 
5 weeks ago by nhaliday
The Future of Mathematics? [video] | Hacker News
Kevin Buzzard (the Lean guy)

- general reflection on proof asssistants/theorem provers
- Kevin Hale's formal abstracts project, etc
- thinks of available theorem provers, Lean is "[the only one currently available that may be capable of formalizing all of mathematics eventually]" (goes into more detail right at the end, eg, quotient types)
hn  commentary  discussion  video  talks  presentation  math  formal-methods  expert-experience  msr  frontier  state-of-art  proofs  rigor  education  higher-ed  optimism  prediction  lens  search  meta:research  speculation  exocortex  skunkworks  automation  research  math.NT  big-surf  software  parsimony  cost-benefit  intricacy  correctness  programming  pls  python  functional  haskell  heavyweights  research-program  review  reflection  multi  pdf  slides  oly  experiment  span-cover  git  vcs  teaching  impetus  academia  composition-decomposition  coupling-cohesion  database  trust  types  plt  lifts-projections  induction  critique  beauty  truth  elegance  aesthetics 
5 weeks ago by nhaliday
Burrito: Rethinking the Electronic Lab Notebook
Seems very well-suited for ML experiments (if you can get it to work), also the nilfs aspect is cool and basically implements exactly one of the my project ideas (mini-VCS for competitive programming). Unfortunately gnarly installation instructions specify running it on Linux VM: https://github.com/pgbovine/burrito/blob/master/INSTALL. Linux is hard requirement due to nilfs.
techtariat  project  tools  devtools  linux  programming  yak-shaving  integration-extension  nitty-gritty  workflow  exocortex  scholar  software  python  app  desktop  notetaking  state  machine-learning  data-science  nibble  sci-comp  oly  vcs  multi  repo  paste  homepage  research 
may 2019 by nhaliday
Perseus Digital Library
This is actually really useful.

- Load English translation side-by-side if available.
- Click on any word and see the best guess for definition+inflection given context.
tools  reference  history  iron-age  mediterranean  the-classics  canon  foreign-lang  linguistics  database  quixotic  stoic  syntax  lexical  exocortex  aggregator  search 
february 2019 by nhaliday

« earlier    

related tags

2016  :/  aaronson  ability-competence  academia  accelerated-mobile-pages  acm  acmtariat  advertising  advice  aesthetics  aggregator  ai-control  ai  akrasia  albion  algebra  alt-inst  analogy  analysis  anglo  aphorism  app  applicability-prereqs  apps  arbitrage  aristos  arrows  art  article  atoms  attention  automation  backup  bayesian  beauty  beeminder  best-practices  better-explained  biases  big-peeps  big-picture  big-surf  bio  blog  blogging  boaz-barak  books  bots  bounded-cognition  bret-victor  britain  browser  business  caching  calculation  calculator  canon  cartoons  cas  chart  cheatsheet  checking  checklists  chemistry  clarity  clever-rats  cloud  coalitions  cocktail  collaboration  comedy  commentary  communication  community  comparison  compilers  complex-systems  complexity  composition-decomposition  computer-memory  conceptual-vocab  concrete  confidence  config  consumerism  context  contrarianism  convexity-curvature  cool  core-rats  correctness  cost-benefit  coupling-cohesion  creative  critique  crosstab  crux  cs  css  culture  curvature  data-science  data  database  dataviz  dbs  debate  decision-making  deep-learning  deep-materialism  definition  design  desktop  detail-architecture  devtools  differential  direction  dirty-hands  discipline  discovery  discussion  distributed  distribution  div  documentation  domainnameregistrar  dribbble  drupal  duplication  dynamic  dynamical  eden  editors  education  elegance  elite  email  embeddings  embodied  engineering  epistemic  ergo  error  essay  ethics  evidence-based  evolution  examples  experiment  expert-experience  expert  explanation  exploratory  explore-exploit  exposition  extra-introversion  extratricky  fastmail  features  feynman  fiction  flowchart  flux-stasis  focus  foreign-lang  form-design  formal-methods  formal-values  forum  fourier  frankchimero  french  frontend  frontier  fuck-everything  functional  futurism  games  geometry  germanic  giants  gif  git  gmail  gnon  golang  google  googlereader  government  gowers  graphs  grokkability-clarity  gtd  guessing  gwern  habit  hanson  hardware  haskell  hci  heavyweights  heuristic  hi-order-bits  higher-ed  history  hmm  hn  homepage  homo-hetero  howto  html  human-ml  ide  idk  ieee  impact  impetus  incentives  increase-decrease  induction  info-dynamics  info-foraging  inhibition  innovation  insight  institutions  integration-extension  intelligence  interface-compatibility  interface  internet  interpretability  intricacy  intuition  ipad  iq  iron-age  javascript  jquery  jvm  keyboard  kickstarter  kiosk  language  latent-variables  latex  layout  leadership  learning  lecture  lectures  legibility  lens  lesswrong  let-me-see  letters  lexical  libraries  lifehack  lifts-projections  lighttable  linearity  linguistics  links  linux  list  live-coding  long-short-run  longform  machine-learning  mail  management  marginal  matching  math.ag  math.gr  math.nt  math  mathtariat  matrix-factorization  measure  measurement  media  mediterranean  meta:math  meta:prediction  meta:reading  meta:research  meta:rhetoric  metabuch  metameta  mfcu  michael-nielsen  mindful  minimalism  miri-cfar  mobile  model-class  money-for-time  money  monte-carlo  mooc  morality  move-fast-(and-break-things)  msr  multi  nascent-state  nature  network-structure  networking  neuro  neurons  news  newsletters  nibble  nitty-gritty  nlp  nostalgia  notation  notetaking  novelty  objektbuch  ocr  old-anglo  oly  open-closed  openai  operational  optimism  optimization  org:bleg  org:inst  org:lite  org:mag  org:nat  org:rec  org:sci  organization  organizing  os  oss  osx  overflow  p:whenever  papers  parametric  parsimony  paste  paying-rent  pdf  people  performance  personality  philosophy  photoshop  physics  pic  pinboard  planning  pls  plt  plugin  policy  polisci  politics  popsci  positivity  ppl  pre-2013  prediction-markets  prediction  presentation  prioritizing  priors-posteriors  privacy  probability  procrastination  productivity  profile  programming  project  proofs  properties  prudence  psd  psych-architecture  psychometrics  public-goodish  python  q-n-a  qra  quality  quantified-self  quantitative-qualitative  quantum-info  quantum  questions  quixotic  quiz  quotes  r-lang  ranking  rat-pack  rationality  ratty  rbuckminsterfuller  reason  recommendations  reddit  reference  reflection  regularizer  reinforcement  repo  research-program  research  responsive  retention  retina  retrofit  review  rhetoric  right-wing  rigor  rot  roundedcorners  rsc  s:***  sanctity-degradation  scholar-pack  scholar  sci-comp  science  scifi-fantasy  search  self-control  sequential  shadow  siggraph  signum  similarity  simplification-normalization  simulation  singularity  skeleton  skunkworks  sleep  slides  social  software  span-cover  spanish  spatial  speculation  speedometer  spreading  ssc  stagnation  standards  stanford  startups  state-of-art  state  stats  stock-flow  stoic  stories  stream  street-fighting  stress  structure  study  studying  subculture  summary  summer-2014  synchrony  syntax  talks  tcs  tcstariat  teaching  tech  technical-writing  technocracy  technology  techtariat  temperance  terminal  tetlock  the-classics  the-monster  the-trenches  thesis  thick-thin  things  thinking  thurston  time-series  time-use  time  tip-of-tongue  todo  tools  top-n  traces  track-record  tracker  tradeoffs  trees  trends  trivia  trust  truth  tumblr  tutorial  tv  twitter  types  typography  ui  unaffiliated  uncertainty  unintended-consequences  unit  unix  utility  ux  vague  vcs  via-mastodon  video  virginia-dc  visual-understanding  visualization  volo-avolo  vulgar  water  web  webapp  webdesign  weird  wiki  wire-guided  wkfly  wonkish  wordlessness  workflow  working-stiff  wormholes  worrydream  worse-is-better/the-right-thing  writing  yak-shaving  yoga  👳  🔬  🖥  🤖  🤖🦉  🦉 

Copy this bookmark: