bweitzman
Re:Ink: React for interactive command-line apps
on Monday May 08, 2023 @02:15PM (#35865096)
Pretty neat. I adapted the state management of hooks to Haskell a few years ago. Could be used for similar purposes, but there's no support for templating or styling yet: https://github.com/benweitzman/hooks
Re:Laws of Rational Trigonometry
on Monday January 09, 2023 @11:49AM (#34312426)
https://www.youtube.com/watch?v=jlnBo3APRlU
The gist of the argument is that addition + other operations on non-computable numbers (which the real numbers contain) require infinite algorithms or something similar (unlike addition on computable irrational numbers which may require infinite work, but the algorithms are finite). You can therefore get situations where, say, the tenths digit in a sum of non-computable numbers is not defined because of potentially infinite carries, and there's no way to determine if the sequence of carries terminates or not. He discusses the problem in the context of different representations of real numbers, including infinite decimals, cauchy sequences, and dedekind cuts etc. This is just the gist of it.
Re:New Hampshire set to pilot voting machines that use software everyo...
on Friday November 04, 2022 @01:02PM (#33470060)
What if the voter doesn't deposit the receipt?
Re:Beanstalk cryptocurrency loses $182M of reserves in flash ‘attack’
on Monday April 18, 2022 @12:19PM (#31072760)
Applying the incompleteness theorem wouldn't say that every piece of complex code has unpredictable outcomes, but that there exists some pieces of code that have unpredictable outcome.
Seems like in this case the outcomes were entirely predicted by the "attacker".
Re:Human brain compresses working memories into low-res ‘summaries’
on Tuesday April 12, 2022 @12:47PM (#31005113)
How do you tell if something you're trying to determine as intelligent or not has formed a model?
Re:Lab-grown meat may never be cost-competitive enough to displace tra...
on Wednesday September 22, 2021 @11:13PM (#28624873)
The meat industry is also cost effective due to massive government subsidies, at least in the US. Would these subsidies be available to lab grown meat operations?
Re:The stack monoid revisited
on Monday May 17, 2021 @11:27AM (#27184537)
What does xoring mean for combining two boards that have pieces in the same position? Is there a use for such an operation?
Re:Beyond Meat signs global supply deals with McDonald’s, KFC and Pizz...
on Tuesday March 02, 2021 @04:14PM (#26320859)
How are you comparing nutritional value between meat and plant products? There are literally hundreds of millions (if not billions) of people that have been eating vegetarian diets for their entire lives, and these types of diets have been popular for millennia.
Re:Reflections on Using Haskell for My Startup
on Friday February 19, 2021 @12:02PM (#26195161)
Strict by default is becoming increasingly popular in production. It makes programs behave a lot more predictably for many common use cases. Extensions are enabled on a module by module basis so if you turn on strictness by default, you can still opt in to laziness if you have certain data structures/algorithms that rely on it.
Re:Reflections on Using Haskell for My Startup
on Friday February 19, 2021 @11:19AM (#26194669)
I've used Haskell + Servant help reduce backwards compatibility issues with an iOS app depending on the API. We had Servant automatically generate OpenAPI specs from the API, and then diff them against the version in prod during CI testing.
Certainly possible with other languages + frameworks, but I felt really confident relying on it to catch issues due to the strong type guarantees.
I made a vegan pavlova just the other week. Took chickpea juice straight out of a regular can of chickpeas and whipped it up with sugar. No adjustment necessary.
Re:2021 will demand new kinds of video conferencing
on Sunday January 10, 2021 @10:19PM (#25723954)
Thanks for the bug report!
Re:2021 will demand new kinds of video conferencing
on Sunday January 10, 2021 @10:05PM (#25723865)
I've been working on https://align.link/ to help make it easier for people to extend their online meetings with custom apps
Re:20 Years Later
on Tuesday December 29, 2020 @08:51PM (#25577428)
The logic is not "if people buy it, it must be good", but more "if people buy it, there must not be something else that they can buy that gets them what they want for less".
Re:Coolest custom mechanical keyboards
on Monday December 28, 2020 @11:42AM (#25560611)
I like using the layering with my Ergodox keyboard because it helps keep special characters I frequently use (parens, braces, brackets, etc) right under my fingers in a relaxes position. It alleviated a lot of finger strain I was feeling reaching for the keys (and reaching for shift especially) so frequently.
Though I do have a standard layout with the number/symbols row available as well.
Re:Show HN: Writing SQL expressions using Java syntax
on Tuesday December 15, 2020 @12:58PM (#25432877)
`select.project(sum(orderTable.amount) / sum(orderTable.quantity) * 100)`
How does this work? I thought Java didn't have operator overloading. Are expressions represented as numbers somehow??
Re:Show HN: Use Figma to ship simple static websites
on Thursday December 10, 2020 @05:35PM (#25379722)
This looks really nice and convenient! Nicely done.
Is there any way to add custom logic to the site once it needs it?
Re:“I've had to relearn coding to get through the new interviews”
on Thursday December 03, 2020 @11:15PM (#25298851)
I've paid candidates and been paid by potential employers to complete take homes. I've also given candidates the opportunity to substitute a piece of open source code in place.
This is admittedly still biased towards people who have available time, paid or unpaid, but I think it's a step in the right direction.
Re:South Africa's lottery probed as 5, 6, 7, 8, 9 and 10 drawn
on Wednesday December 02, 2020 @06:42PM (#25283357)
FYI 0.129 = 1 / 7.75. I think you and person you're responding to are doing the same calculations, but inverted.
Re:Apache OpenMeetings – Video chat, messaging, white board, doc editi...
on Wednesday November 25, 2020 @03:37PM (#25214025)
We don't check all of your boxes right now, but we've been working on an API + app store for video chat apps. https://align.link/
Re:Apache OpenMeetings – Video chat, messaging, white board, doc editi...
on Wednesday November 25, 2020 @03:33PM (#25213989)
We've been working on something to help out with this: https://align.link/
Re:Gravity is not a force – free-fall parabolas are straight lines in ...
on Sunday October 18, 2020 @05:58PM (#24821451)
The concept of a constant distance orbit doesn't make much sense in 1D. A horizontal line in this model wouldn't indicate an orbit, but rather a completely stationary object. It would then make sense for the world line to curved because it must be accelerating in order to resist the attraction of the body it's near.
By definition, the world line of a stable orbit would be a line in curved spacetime.
Ask HN: How do you keep track of company specific lingo?
At almost every place I've worked, I've ran into issues when people overload normal words to refer to very specific work related concepts.* These terms often pop up organically, which creates confusion as not everybody is aware of the specific meaning.* Terms frequently need to change for one reason or another, which has lead to multiple terms competing with each other but meaning (mostly) the...
Re:Ask HN: What are the pros / cons of using monorepos?
on Thursday October 08, 2020 @11:46AM (#24720230)
If you don't publish packages anywhere, wouldn't that mean that if you update some library with a breaking change, you have to update all call sites?
Maybe the fix for that is to never make breaking changes, but that has drawbacks as well...
Re:Calla – spatial video conferencing software based on Jitsi Meet
on Wednesday October 07, 2020 @09:44PM (#24714807)
We've a few spatial chat apps pop up in the past few months. It's part of the reason we set out to build https://align.link/, an extensible video chat platform.
Products like these (and others like https://www.macro.io/) could exist as meeting apps, allowing people to to tailor rooms specific scenarios like one on ones, retrospectives, happy hours, etc.
Show HN: Align – An extensible video chat platform with custom in-meeting apps
Hello HN!Virtual meetings can be frustrating. When we meet in person, we don't just look and talk at each other. When we meet in person, we don’t just look and talk at each other. We make notes, we write on whiteboards, we set timers, we raise our hands. Broadly speaking, we can effortlessly utilize our environments in order to more easily transmit ideas brain-to-brain. Unfortunately, video...
Re:A Pipeline Made of Airbags
on Friday September 25, 2020 @11:55AM (#24591126)
I agree, things that change frequently need more attention to make sure you're not spending more time than you need to make changes.
Acknowledging that I'm changing the goalposts a bit, I would consider a lack of understanding about the lifecycle of an application that causes development delays an abstract form of "noticing when it fails"
Re:A Pipeline Made of Airbags
on Friday September 25, 2020 @01:07AM (#24586749)
On the flip side, why bother spending time optimizing a process if nobody notices when it fails? Aren't there more important problems to be solving in at scenario?
Re:Haskell RecordDotSyntax language extension proposal (Accepted)
on Sunday September 20, 2020 @10:03PM (#24539067)
Wow this is great! Fixing Haskell's arcane record system would be a huge step towards more mainstream adoption. It was certainly my largest pain point with the language over years of use in production.