mdnahas

12 ms·

121.
by mdnahas 2y ago
I think we need to philosophize. Is some software “infrastructure” and some even “critical infrastructure”? Or maybe they should be new classes of public goods? There are huge risks that society needs to address and I don’t think the no
122.
by mdnahas 3y ago
There are other foundations for mathematics. Dependent Type Theory has a lot of support from people studying Proof Theory. It is based on typed lambda calculus. It is currently being researched and implemented in mathematical provers, l
123.
by mdnahas 3y ago
I’m an economist. This is an example of a volume discount. Prices often decrease per-unit when buying larger quantities. That happens whether it’s milk or the square-footage of an apartment. I’d expect larger files to be worth less p
124.
by mdnahas 3y ago
As a former quant and now economist, I want to congratulate the author on correctly using the term Collateralized Debt Obligation! That is a great metaphor for what they’ve done. I do want to write an article on “technical debt” at some p
125.
Show HN: Password-protect a file with Easy Encryption Everywhere(michaeldnahas.com)
2 points by mdnahas 3y ago|0 comments
126.
by mdnahas 3y ago
Today.
127.
by mdnahas 3y ago
It is a simple program that (1) hosts a webserver, (2) runs server-side code, and (3) hosts a database. It also has built-in support for logging in and permissions to data. Thus, if you want to write a simple website that needs permissions
128.
by mdnahas 3y ago
If you want a front-end for a single-page webapp, I loved Svelte. It puts all the HTML, JavaScript/TypeScript, and CSS together in the same place. The tutorial is delightful. BUT, if you need a multi-page webapp, SvelteKit is complic
129.
by mdnahas 3y ago
I was happy with Svelte. But it only does single-page apps. But it's simple and the tutorial is delightful. When I moved to multiple pages, I had to use SvelteKit, which is complicated and not well documented.
130.
by mdnahas 3y ago
No. PocketBase runs on a server. It needs a host. It is simple, so its single program is (1) a webserver, (2) runs server-side code, and (3) hosts a DB. I'm running a $12-per-month server on Vultr and its only service is PocketBase.
131.
by mdnahas 3y ago
PocketBase has a pb_migrations/ directory. If you throw a file of a certain format, PocketBase will automatically loaded it and update the DB.
132.
by mdnahas 3y ago
PocketBase is trying to be a simple webserver, code-running backend, and database. I believe the author chose SQLite because it is simple. PocketBase isn't trying to have every feature nor be high performance.
133.
by mdnahas 3y ago
I've been developing for PocketBase for 2 months. As someone else mentioned, API rules can control access to rows. It can send emails. Set timers. And send its own requests to other webservers. (I haven't used any of these fe
134.
by mdnahas 3y ago
Yes, that's correct. In server-side code, you can write SQL queries. JavaScript API: https://pocketbase.io/docs/js-database/ Go API: https://pocketbase.io/docs/go-database/
135.
by mdnahas 3y ago
I've been developing on PocketBase for 2 months. The system goes into production in 1 to 2 months. I'm exceptionally happy with it. I'm developing an webapp for a friend's company and wanted a very simple system to han
136.
by mdnahas 3y ago
My own investigation, from 20+ years ago: http://michaeldnahas.com/xmassong/index.html
137.
by mdnahas 3y ago
This article missed one huge change in the economy: the shipping container. Incomes of the workers continued to increase, they were just outside the USA. Rich Americans were running a world economy, not just the American economy, so their
138.
by mdnahas 3y ago
Re: “historically, the world is doing better than ever.” Yes, that’s true. If you read “Enlightenment Now”, there are tons of wonderful graphs showing life improving. And for almost every country, as it gets richer, it gets happier. Bu
139.
by mdnahas 3y ago
A clear sign that Linus was happy with the internals (plumbing) but thought the UI (porcelain) needed work. Originally, the porcelain was all scripts calling the plumbing. Sadly, they hardcoded that UI to make it faster, without improvin
140.
by mdnahas 3y ago
AND we should have pseudo-pointers to the current directory layout and the files already “add”ed (a.k.a. cached/indexed/staged). Git’s UI should allow us to do “diff” or any other command on these. I tried to get the git maint
141.
by mdnahas 3y ago
I read a good book that says the US has many socialized medical systems. Medicare for the old is similar to Canada’s system. VA for veterans is similar to England’s system. Most salaried workers insurance is similar to Germany’s system,
142.
by mdnahas 3y ago
You don’t want to compare companies by profit margin. (Profit/Revenue) You want to compare them by return on capital. (Profit/Capital) Some businesses have a high turnover of inventory, so revenue is large even if there was very
143.
by mdnahas 3y ago
Agreed! The most famous mathematician in the field told me “I used the first tool I could understand how to write a proof in.” Most he could not! I was so disgusted by the tutorials for Coq that I wrote my own. It has been reviewed pos
144.
by mdnahas 3y ago
A good way to do this is to replace Geometry class. It is only there because Euclid’s Elements was read by Charlemagne’s kids. Geometry teaches proof, but a very outdated style of proof. It should be replaced with formal proofs, writt
145.
by mdnahas 3y ago
Write the code and proofs in Coq. Coq can output OCaML. I believe OCaML can compile to JavaScript. That will allow you to verify the pure functions. It will not verify the input/output that will also be necessary.
146.
by mdnahas 3y ago
Partly, it’s the business model. I was at OkCupid and we made money by ads, rather than successful matches, and this drives the business. Another is the metrics. OkCupid tried to focus on “three ways”, which was a message, a reply, and a
147.
by mdnahas 3y ago
If you’re interested, here is my Coq tutorial. http://michaeldnahas.com/doc/nahas_tutorial.html It has been mentioned on HN before (multiple times). https://news.ycombinator.com/item?id=21625852
148.
Ask HN: Instant Messages with a Public Record?
4 points by mdnahas 3y ago|1 comments
149.
by mdnahas 3y ago
The Dean of UVA business school was heard saying “Don’t compete unless you have an unfair advantage.”
150.
by mdnahas 3y ago
Location: Austin, TX Remote: No Willing to relocate: Yes Technologies: economist, predictive mathematics, Python, C/C++/Java, distributed systems Résumé/CV: https://www.linkedin.com/in/michael-nahas-101

More ›