bx376

9 ms·

61.
ChatGPT-4 significantly increased performance of business consultants(d3.harvard.edu)
309 points by bx376 3y ago|272 comments
62.
Ideas That Created the Future: Classic Papers of Computer Science (2021)(mitpress.mit.edu)
1 points by bx376 3y ago|1 comments
63.
Bytebase – The Only Database CI/CD Workspace(bytebase.com)
4 points by bx376 3y ago|0 comments
64.
Guidance: A guidance language for controlling large language models(github.com)
103 points by bx376 3y ago|41 comments
65.
BuildBuddy – Bazel at Enterprise Scale(buildbuddy.io)
2 points by bx376 3y ago|0 comments
66.
The Three Ways: The Principles Underpinning DevOps(itrevolution.com)
10 points by bx376 3y ago|1 comments
67.
Gabor Melli’s Research Knowledge Base(gabormelli.com)
44 points by bx376 3y ago|3 comments
68.
Write issues not user stories(linear.app)
1 points by bx376 3y ago|1 comments
69.
Neuralangelo: High-Fidelity Neural Surface Reconstruction(research.nvidia.com)
84 points by bx376 3y ago|13 comments
70.
by bx376 3y ago
See https://world.hey.com/dhh/we-stand-to-save-7m-over-five-year...
71.
by bx376 3y ago
Stateless applications are far cheaper than stateful applications to host on AWS. Computing is cheap, object storage is where AWS make unreasonable profit and lock you in their platform.
72.
GPT-4 details leaked?(threadreaderapp.com)
661 points by bx376 3y ago|621 comments
73.
Vim: Revisited (2011)(mislav.net)
1 points by bx376 3y ago|0 comments
74.
by bx376 3y ago
You can use https://github.com/KosmosisDire/obsidian-webpage-export to turn Obsidian into a static site generator, and deploy the html to Vercel or github pages for free
75.
by bx376 3y ago
Fair point! Anyone can do a quick math on the PPD with their announcement of "23 million pixel microOLED" with this calculator? https://qasimk.io/screen-ppd/
76.
by bx376 3y ago
> "A piece of mathematics is like a poem, and we can ask if it satisfies our aesthetic criteria: Is this argument sound? Does it make sense? Is it simple and elegant? Does it get me closer to the heart of the matter?" This remi
77.
Prompt Injection Explained(simonwillison.net)
8 points by bx376 3y ago|1 comments
78.
by bx376 4y ago
Congrats! This is truly a game-changer. Personally, I have two suggestions for a future release: 1). Invert-color PDF dark mode harms readability. Simply invert the color will make serif fonts less readable. I use PDF.js with the following
79.
Slidev – Presentation Slides for Developers(sli.dev)
4 points by bx376 5y ago|0 comments
80.
The Lean Theorem Prover(leanprover-community.github.io)
2 points by bx376 5y ago|1 comments
81.
by bx376 5y ago
The Lean theorem prover is a proof assistant developed principally by Leonardo de Moura at Microsoft Research.
82.
The Debugging Book(debuggingbook.org)
5 points by bx376 5y ago|1 comments
83.
by bx376 5y ago
Tools and Techniques for Automated Software Debugging, by Andreas Zeller
84.
by bx376 5y ago
Thx for the reminder! But the edit option is no longer in the page, probably cuz I've already edited it multiple times. I'll pay attention to this the next time. Anyway, we have the real author in this thread Lol
85.
by bx376 5y ago
Met this by accident. The app is not under intense development, and doesn't have alpha/beta release.
86.
Show HN: Annotate PDFs in Markdown(keypoints.app)
39 points by bx376 5y ago|16 comments
87.
Learn Math: Read Book, Take Note, and Do Exercise(boyan-nyu.com)
2 points by bx376 6y ago|0 comments