skysight-inc/HackerNews huggingface dataset:
Yeah! I'm the founder of JigsawStack, happy to help if you have any feedback or questions.

I've been using Hasura generally with vanilla Postgres DBs and I've mainly used it for three real reason: Client side permission management, DB dashboard and GraphQL.

Supabase has done an amazing job trying cover all those aspects with their own solutions but I still find Hasura really found the sweet spots for those aspects a little better and more fine tuned.

Client side permission: Hasura has an amazing UI to build permissions compared to Supabase sql based row level permissions where I still need to right code and then verify it

DB dashboard: managing the db, adding/removing columns, changing types, creating triggers, index etc, works/feels a lot better to me on hasura or maybe its just something I've gotten use to

GraphQL - I love writing in GraphQL, and Supabase Graphql layer isn't production standard at this stage.

Again, a lot of this is preferences and my personal opinion. You can build amazing products with just Supabase for sure, just a lot faster for me with Hasura right now :)
Check also Lowcoder at lowcoder.cloud. Self-hosted many integrations, open-source, free.
Firstly, I guess you state these aren't built in yet, so I guess it might change, but I wonder if the lack of unsigned primitive types is intentional? It seems like something I would want to be built in.

Secondly, you have byte as int8 and char as int8 - in reality, either could be unsigned surely? For me, byte is unsigned. As I mostly do C# these days, char is not generally used as a numeric value also. It feels like - if you have byte, char can represent an actual character value. But it feels like not making char multibyte (UTF8 would work) it makes your typing system need to deal with all the WChar nonsense/legacy. Better to just make it UTF8 now? If you don't have byte, I guess you can have char, but that feels like more legacy.
I love this: It's so 2006! Back in the good old days.
> You're comparing "both sides" as equal

I understand this is emotional for you but I am certainly not saying that both sides are equal. However, the fact is that both sides are using forced conscription and I find that to be deplorable in strongest terms. Patriotic Ukrainians have every right to fight for their homeland. But if you need to force people to fight for their country then it is a bunch of false patriots sending their own people into death.

Let me share with you my experience. A lot of people are comparing Russia's invasion of Ukraine to Serbia's aggression on Croatia and Bosnian and Herzegovina. In some sense it is a very valid comparison. You can read up on the war yourself, however I want to draw your attention to cities that had mixed ethnic makeups. Just like there are Russians who don't want anything to do with the invasion there were Serbs who didn't want to do anything with Greater Serbia. Moreover, there were Serbs from this latter camp that stayed behind in either Bosniak or Croat controlled towns thinking they were safe because they did nothing wrong. However, during the war the bravest and most motivated fighters were those with heavy criminal backgrounds or ultra-nationalistic leanings. Due to their prowess this group of people were promoted and often had a say who will get called up for conscription. Eventually Serbs that stayed behind became a target for exploitation, especially property rights - "sign over your house or we send your kids to battle". I don't want to go further but I guess you can imagine how such scenarios can play out.
A bold claim, which is obviously false. To see that compare Clojure's dynamic type system with C's static type system. So perhaps a more nuanced stance is needed.
2001's Pre- and Post-Premiere Edits
Thanks! Pushed a fix, should be up in a min
This language calls itself functional - does it support higher order functions? What about closures? Or function composition and (de)currying? Does it have pattern matching like you find in Haskell or ML?

Also, what about C is type unsafe and how does minilang fix it? Would love to have seen some comparisons.
I have a 2013 Tesla Model S I bought used. It now has about 150,000 miles on it, probably about 85% of the battery capacity, and still gets regular over the air updates. I go on road trips a few times a year (with my family of 5), last time was about 2/3rds across the continental US and back. It’s got wear and tear like a 10 year old car, but the battery is fine.
> Wave function: https://simple.wikipedia.org/wiki/Wave_function

The formula for finding the wave function (i.e., the probability wave), is below:

i ℏ ∂/∂t Ψ(x, t) = Ĥ Ψ(x, t)

where i is the imaginary number, ψ (x,t) is the wave function, ħ is the reduced Planck
constant, t is time, x is position in space, Ĥ is a mathematical object known as the
Hamiltonian operator. The reader will note that the symbol ∂/∂t denotes that the partial
derivative of the wave function is being taken.

I love these kinds of Simple English pages where the author has evidently though that "simple" is supposed to mean "summary".
Well done, this is something like it. That tesselation is awesome. The result is gorgeous and fast. Really beautiful.

Cant upvote enough.
I had a look 3 years ago and the compatibility matrix was an absolute shitshow: older cards not supported at all, newer cards not supported at all, and support for those in the middle was full of holes depending on extension, version, etc.

I couldn't even figure out what I needed to buy, so I didn't.
It uses Unity's ECS implementation (entity component system), part of DOTS (data oriented stack) https://unity.com/dots
Very true! Using LLMs to build tools which LLMs will use to train and the loop goes on!
"good faith" has meaning in the california business code and it would not stand up in court if they attempted to abuse semantics in the absurd way you describe. their text is abundantly clear: you can use the ideas in their patents if you are using them in good faith and are not law trolling.
The point was rather that it makes parallel encoding more difficult. With a fixed interval it is trivial, you just split the incoming stream based on the fixed rate, and let each thread work on separate intervals.

With adaptive key frame placement you don't know the intervals up front, and they might have wildly different lengths. Some might be hundreds of frames, some might be just a few.
I hope it doesn't engage at night, as we don't have turquoise LEDs so the blue ones will ruin night vision.
ATX power supplies cap out at 2kW or so and single slot GPUs require water cooling which moves your price estimate significantly. Also difficult to plumb in adjacent cards. I think the realistic maximum is four ~300W cards per system, and that still needs water.

Your point stands - GPU compute on commodity hardware is very cheap. $10k per 4U quad GPU box is probably the ballpark.
Like those self-installed USB-chargers that are directly connected to your car battery. Can work sometimes, but you need robust devices.

Probably a side effect when USB-PD was introduced and people neglected the facts that there needs to be an elaborate handshake for anything other than 5V.

Previously we always needed to check non-USB chargers for their voltage and there were connectors and adapters for different sizes. But now you need to be more careful with USB as well.
Sure. Could you point me to a source better than watching hours of video?

What's the cost per length of tunnel? How many people can be carried per hour? What level of service interruption is allowed? How accessible is it for wheelchairs, strollers, and such?

The sources I can find say things like "The system is designed to transport more than 4,400 convention attendees per hour across the campus." for https://www.lvcva.com/vegas-loop/ and "The highest daily capacity of the system during that time is 32,000 riders" at https://www.reviewjournal.com/local/traffic/las-vegas-approv... , while https://glasgoweyesmagazine.com/why-is-the-glasgow-subway-so... says the Glasgow subway can handle 30,000 passengers per hour.

That RJ article also comments that the decision to extend the line was strongly influenced by political pressure: "Las Vegas Mayor Carolyn Goodman isn’t sure the project will ever come to fruition, but voted in favor of the extension anyway, due to the urging of the various resorts and other entities in downtown." "“I am one who just does not believe will come to be, certainly not in my lifetime,” Goodman said during Wednesday’s meeting. “Hopefully in the lifetime forthcoming. Moving three and four people at a time does not get this on … I want more accessibility, I want to move people more easily and I’d like it to happen immediately, because we need that movement of people now.”

As you seem to suggest at https://news.ycombinator.com/item?id=38690234, Las Vegas isn't paying anything for the system, so it's not like a bad decision has much risk for them.

That makes it hard to accept your view that the decision in Las Vegas was based on technical merit.

> Myself and other commenters are pointing out that point-to-point is the user experience, no stops between start and destination, not the layout of the tunnels, which looks just like a subway system

But getting that experience requires NOT designing like a subway system but rather like a highway system because you need more space/lanes to handle passing, and more space dedicated to inter-car separation. That's why I've been saying that it isn't obvious that it should be cheaper.
We could paraphrase Dijkstra --- with some liberty -- to say, "Formal verification of programs can only show the specification is fulfilled, not that the specification is adequate."
Try this book:

https://www.sciencedirect.com/book/9780750665940/numerical-c...

Or, via an amazon link:
https://www.amazon.com/Numerical-Computation-Internal-Extern...
right at the top of the essay it is the following:

"All illustrations featured in this essay are part of the Bulgarian Visual Archive, a digital project that curates thousands of found and donated photographs. BVA aims to narrate the history of 20th-century Bulgaria through the visual record of both private and public events that have usually been pushed to the margins of official narratives. As part of its mission, BVA offers all of its photographs for download free of charge, for both personal and commercial purposes."
Efficiency (percent for percent) can buy you all the advantages of higher energy density, but with higher charge speed (ie miles per charge minute, for a given wattage), lower charge cost, cheaper battery (fewer kWhs), etc. So really, you wouldn’t want to sacrifice much efficiency to get greater energy density. You really want BOTH. A Lucid Air with this kind of battery would have greater range than a lot of gas cars; a fantastic road trip car. In fact, you could go basically a full day’s driving (11-12hours) without charging, then charge overnight with a beefy L2 charger (typically a lot cheaper than fast charging) and never have to actually stop during the day for charging.
The compiler will avoid unnecessary allocations when possible. For more details, see https://go.dev/wiki/LoopvarExperiment#will-the-change-make-p...
>Toshiba invented NAND flash only for them and Japan (namely the patent office) to throw it out the window for the likes of Intel and Sandisk to pick it up and create an entire industry.

And Kodak invented the digital camera only for Canon and Nikon to steal their lunch. And Xerox invented the GUI and let Apple steal their lunch. And GM invented the EV1, the world's first mass produced EV and then let Tesla and BYD steal their lunch. And IBM invented the PC and ... you get the point already.

Same with HP, SUN, SGI, Cisco, Blackberry, Nokia, Intel, etc insert your favorite $EXAMPLE here. Google is also on a similar path.

It's not a country problem, it's a "big and old company problem", which has fossilized and lacks future vision so stays conservative and slowly atrophies.
One change I've noticed, and this has nothing to do with API changes, is that Redditors now take comments at face-value, even when they're farcically sarcastic.

Unless you tag the comment (e.g. /s), people's default is to assume they're typing back and forth with literally history's greatest monster. And their goal is to proudly and publicly expose this monster for internet points.

The weird thing is they really do get internet points for being oblivious to flippant sarcasm.

I wonder if this is an "Eternal September" problem, or if mass internet culture has permanently shifted.
Your experience in software engineering gives you insight into what's happening vis a vis hiring of air traffic controllers?
Yes Croatia (along with Slovenia) is a good example of a place that has a strong oppositional attitude toward the previous communist era. My impression is that Croatians want nothing to do with the Yugoslav era and much prefer to be an extension of Catholic Europe / the EU. Compare that to Serbia which is still trying to be unaligned, just as Yugoslavia was.
I’d put money on that. Ironically.
MIT OCW's course is decent. Here's the chapter for hyperbolic PDEs (of which the wave eqn is one): https://ocw.mit.edu/courses/16-920j-numerical-methods-for-pa...
Presumably if you use Gerrit a lot you can just add it to your git-template and it will be automatic (I use this for the pre-commit hook script)
In Go, I would normally have my own time function which would return the std lib time function, which works flawlessly for testing my own code. The problem is if there is foreign code(ie. 3rd library dependency) that uses time and which makes obviously calls to the std library time, making it untestable. The only solution is to overwrite time on language level by some trickery(not all languages allow this) or literally change the OS's clock and test manually one test at a time. This is one of those unsolved programming issues.
One of the main benefits of doing things with an ECS is composition though so you'd expect more granularity than you'd get in other modular approaches which is of course a tradeoff in some respects.
Bit off-topic, but having played with HA a bit I always wonder if there is a general strategy on how to deal with failures, i.e. is there a way to make everything go to the default/safe mode in case things stop working? A watchdog-like backup system? And another backup for that :) I get that it's unlikely to happen, but still..
Like:

- some sensor triggers lights on via impuls relay (that's what I have to happen in my home), HA stops functioning, lights remain on. How to make sure instead they're turned off? I get that not using impuls relays but relays which need to be driven high constantly might be one step in the right direction, but that would still assume whatever line the relay is driven with is pulled low when HA stops functioning.

- you setup HA to instruct your home battery to charge during off-peak hours, HA stops functioning during off-peak, battery is left in 'charge as much as you want' state. Unless battery has functionality to tell it 'charge max x hours' it will try to keep charging, whereas it would be nicer if it wouldn't

- same for heating: leave for vacation, tell HA to put heating in low power mode but to start heating the house again in normal mode 3 days before I'm back (because that's roughly the amount of time needed with low temp heating to get everything warm again). HA stops, I come home to a cold house.
It's here: https://maxima.sourceforge.io/project.html
Yeah that's a scary thing! Hopefully the price cap doesn't get hit.

Also the way its built, you can chat with a 5 hour video without breaking the bank because only relavant chunks of that video will be passed as context based on the question
Some of my favorite subs have turned into cesspools of tribal politics.

Take /r/SimpsonsShitPosting - the injecting-tribal-US-politics-into-everything problem has been especially acute during the last few weeks, but this has been a growing problem for a couple years
Elevate your visual analytics with the BFF AI platform. Harness the power of machine learning for real-time image recognition and data insights. Enhance efficiency and decision-making.
ChatGPT is especially prone to fudging numbers. 75MB per page is suspect. I think a 300 or 400 dpi 8.5x11 sheet of paper saved as high quality tiff is about 10MB IIRC. Not at my computer to verify though. I think you can do a lot better with JXL or a modern format.

Price per TB can be as little as 50 cents but you'll want lots of redundancy so it'll be at least 3 times that. I think you could do sufficient amounts of redundancy for $5 or $10 not $20 or $30
Every relevant IRC was indexed. Especially channels for specific projects always were indexed, usually more than once.

Now every 'fancy' product has a discord where the same questions get asked every day again and again and the community isn't helpful anymore because it gets tiring.
That’s a pretty big claim and I’d be curious to see this research. I think you’d have a hard time untangling the communist effect (and earlier Ottoman effect) on Orthodox states to make any kind of deeper argument here.
Bye Tosh.
Tons of voron and Rat Rig use beacon. They mostly run thick metal plate with magnet sheet on top. So you should be fine.

You can also join one of the many discord servers (Rat Rig probably has one) and ask there for details
Yeah kinda but I might be adding aspects of typical fuzzy full text search along with the RAG element for better search accuracy
Solana cryptocurrency surpassed Ripple for first time and is now #5
No, you two are brainwashed!
That's super interesting. Though I am waiting for the longevity hackers to CRISPR that into themselves. If it works out, great. If not, another lesson for the ages.
I can't use Discord because it's a cross between drinking from a firehose and feeling like I missed something "important" (i.e. interesting/relevant/callbacks) at all times.
Facebook was also reporting growing numbers for years when in reality is was already dying
Is everything that happened to Japan going to happen to China?
Yeah, never mind that it's a bad idea to have a mine under a lake, it's an even worse idea to authorize drilling for oil in the lake over the mine. I would love to read a report on how that came about. But apparently there's little hope to find that out: according to Wikipedia, "The Mine Safety and Health Administration released a report on the disaster in August 1981 which exhaustively documented the event but stopped short of identifying an official reason for the disaster."
That's a fundamentally misguided attitude.

Removing your posts only annoys and inconveniences actual people by breaking threads, convos and destroying the context. It does zilch to Reddit as a corporation.

No need to be an ass towards fellow users, it's not their fault Reddit now rubs you the wrong way. Either don't post at all or leave it be.
Absorb the irony of that comment. Yea, exactly like going to the cinema. But that’s their point about hyperpersonalization being weirdly isolating.
I think I'll get one regardless, all the reviews seem amazing, thank you.
Not the OP, Carbon currently still doesn't have a working implementation, it is clearly a tool for Google to migrate away from C++ without rewriting the world, they are quite open that it isn't trying to be anything else, it is only an experiement, and it may even fail as an experiment.

Carbon gets talked a lot by people that somehow miss the language goals.
I mean, yes. Every single time there’s an aviation incident there’s an extremely thorough investigation and generally a set of concrete recommendations to go along with it.

Pilots are human, automated systems fail, and the goal is to maximize safety because these fuckups mean that 200-300 people on a single plane might die (or more if a plane crashes into another or into a populated area) and these safety regulations have saved a lot of lives.
Beyond the speculation I add a related to ranking analysis in investing [1]

BTW, it was time consuming to make ChatGPT create the "right" illustration for the event [2]

[1] "The Science of Crypto Asset Investing: A Ranking Analysis Strategy": https://www.coinfabrik.com/blog/the-science-of-crypto-asset-...

[2] https://twitter.com/coinfabrik/status/1737415542590369816
There are two separate matters considered in these cases. First there is the question of whether the patent claims are valid: this is determined by evaluating prior art, either by itself or in “combination” where you take some elements from different pieces of prior art and argue that a skilled artisan would have known to combine them. Apple appears to have challenged the patents in an IPR proceeding at the Patent Office, using combinations of prior art from earlier patents, which they largely prevailed in. However an appeals court reversed parts of that ruling on technical grounds related to the way the IPR board combined different references (and some claims seem to have survived it.) You can read an appeals court decision here [1]. Separate is the question of infringement: Masimo needed to show that Apple’s products infringe the claims of the patent. Apple could “design around” these claims by changing essential elements of their product, but that would only protect them going forward.

[1] https://cafc.uscourts.gov/opinions-orders/22-1631.OPINION.9-...
> "Has somebody experience with Apache Lucene / Solr or Elasticsearch?"

I've been working on a RAG with Solr, and quickly hit some of the issues you describe when dealing with real-world messy data and user input, e.g. using all-MiniLM-L6-v2 and cosine similarity, "Can you summarize Immanuel Kant's biography?" matched a chunk containing just the word "Biography" rather than one which started "Immanuel Kant, born in 1724...", and "How high is Ben Nevis?" matched a chunk of text about someone called Benjamin rather than a chunk about mountains containing the words "Ben Nevis" and its height[0]. Switching embedding model has helped, but still not convinced that vector search alone is the silver bullet some claim it is. Still lots more to try though, e.g. hybrid search[1], query expansion[2], knowledge graphs etc.

[0] https://www.michael-lewis.com/posts/vector-search-and-retrie...

[1] https://sease.io/2023/12/hybrid-search-with-apache-solr.html

[2] https://news.ycombinator.com/item?id=38706913
This reinforces my deep conviction that life will find a way, no matter what mischief we get up to.

Even if it has to tap into its reserves...
Maybe not. COM files were, more or less, data.
They still make good hard drives.
Media makes you feel isolated and utterly unique. This is personalization deployed at scale. I worked on the first personalization systems and been involved in their implantation for decades.

It’s fascinating how they’ve affected culture to the point where people don’t even see them anymore.

Personalization is profoundly powerful technology at scale. Do not underestimate their influence. What you talk about is the ever present concern of people who know you will talk, and almost everyone talks.
Given the fact China's GDP is non-transparent and artificially inflated it will be much more spectacular fall
Except the detail when LLVM gets shipped with application code, like a JIT, and then gets exposed to possible security attacks.

Yes, most likely LLVM will never be rewritten into something else, yet security is a concern also in compiler code.
https://x-files.fandom.com/wiki/Purity

Not exactly, but it fits the trope of Nightmare Fuel.
Not to speak of, the setting is in Louisiana.