skysight-inc/HackerNews huggingface dataset:
For a start, you're going to have to define your schema. Does one tree have one row or is it one case has one row?

By updating at row level, you've instantly lost the ability to tell the user what time this data changed, unless you're throwing everything in an audit table and at this point you're already halfway to Event Sourcing.

ES gives us a convenient way to throw a pile of information over time and not have to worry about defining the final schema up front, we can do that when constructing the views of aggregates.
The Nix syntax being complex is something that is taken for a given in online circles, but it's actually one of the most simple languages that I've learned. The Nix syntax is in essence just JSON with functions which consists of the following building blocks:

* Primitive values (strings, numbers, paths, booleans, null)

* Lists and sets

* Variables

* Functions

* Conditionals

* Assertions

* Arithmetic operators

And that's all there is. For people familiar with programming, it should only take around 10 minutes or so to grasp the syntax. It would take much, much longer for commonly used programming languages like C, C++, Javascript, Python, Ruby, Perl, ... you name it.

The official docs does a decent job at explaining the syntax[1]. I didn't have any experience with functional languages prior, but I didn't have much problem grasping the syntax once I've read through the documentation.

[1]: https://nixos.org/manual/nix/stable/#ch-expression-language
Now that it's open, how open are y'all to MRs? I want to port it to a few archs, but I'm not sure whether to hard fork or try to upstream.
The page is a disaster on a desktop, too. It does something weird to the scroll, so I can't use either my arrow keys or my Vimium keys in the normal way. Note to web authors: I'm sure I'm not the only one who left quickly after I saw that my scroll was hijacked. If you want people to read your stuff, try dialing back the user abuse.
Obviously, this gets handled under UK charity law, not US — but I wonder if this would fly in the US. Charities can own for-profit entities, but pay taxes on the Unrelated Business Income.

But this is closer to a for-profit hospital conversion on steroids, where the driver becomes the profit, not the the charity. There’s a very obvious conflict of interest between the charity, management, and the public investors, which could turn into a carnival for lawyers.
But we’ve doubled CO2 and haven’t seen a 2.5 to 4C temperature rise? What do you mean “good approximation”?
> google seems to want full sentences instead of just keywords now. "How do I do X?" seems to get me better(?) results then "X + some relevant keyword"

Correct. Google will give you better results with full-sentence-like input. After several years of refining results, Google concluded that there's more benefit in teaching the machines to understand how humans ask questions than to teach humanity how to keyword like a computer expects (especially when you factor in that they get as many queries via voice these days as via text, and voice recognition in general always benefits from more information to disambiguate on). There's an entire semantic-analysis layer in front of the keywording layer these days to determine some semantics of the query to try and guess what category of thing you're looking for.

I generally have no problem with a few keywords for software engineering searches. I usually go general-to-specific (for example, `react unit test useState`).

You can drop the video results by adding `-youtube` to the query.

> "Sal dulu a" would both recommend "Sal dulu antasma" and list it but now unless i search for that particularly, it doesn't show up.

I'm not sure, but it's possible Google dropped 'a' as a signifier because of the semantic query support (as a single particle, it doesn't add signal to a sentence-like query). `sal dulu songs` gives me a list where Antasma shows up as item 3.

In general, my advice for Googling these days would be "don't try to keyword it out." Think more like how you'd ask another human for a random fact they might barely remember.

There's also still some symbols that are specifically understood by Google for tuning queries, listed here (https://support.google.com/websearch/answer/2466433?hl=en). Worth noting: the `+` modifier got killed when Google+ came and went. To force a word or phrase to be part of the results instead of "fuzzy-matched," put it in "quotes". Quotes these days do double-duty as both "I want this literally matched" and "results must include this token."
It's enhancing confirmation bias.
Great, lets get on it then
Rethinking Your AI Investment
Haskell compiles so slow because it needs way more optimizations then Ocaml before it performs good. The primary reason for that is its lazy evaluation semantics. Prior to GHC many researchers believed it to be impossible to execute lazy languages with comparable speed than imperative ones. Haskell and GHC were primarily developed as research tools. I.e. they valued the efficient exploration of new ideas in programming languages and implementations higher than the resulting language and implementation, at least in the beginning. And I would say Haskell was extremely successful considering those priorities.

That does not mean, that the implementation hasn't been moving towards industry-readiness for a long time.
I'm very interested in this , but I'm still vague on what the pricing is.

Do I get AI generated logos and pay upon usage ?
1) The Internet was quite monetized with ads from almost its inception, and things like targeted advertising, ROI tracking, and sponsored searches were already rampant in the 90s, though it expanded even more in the 21st century.

2) You can still find lots of smaller communities and websites (that don't get reported to the mainstream) today, probably even more than before. An incredible number of blogs, forums, niche subreddits, Twitter groups, fandom communities, Discord servers, you name it.
Well all be dead of Omicron before global warming gets us.
Sometimes liberties are taken here, such as California originally separating carpool lanes with yellow lines (when they should have been white).

Presumably they felt that even though yellow was incorrect, it sent a clearer "do not cross" message to drivers.

They were later ordered to change them to white.
Absolutely. I think we're returning to a multi-polar situation like we had prior to WWI. Without a clear global hegemon - great power competition could definitely lead to a major war.
Yeah, and he's wrong.
I Built an Image Search Engine Using OpenAI Clip and Images from Wikimedia
Good luck -- looks nice!

I had the "What do I make for dinner?" conundrum too, and wound up making my own web app to address that. The main thing for me was that I couldn't think of any recipes, other than ones I'd already made very recently.

So mine is kind of a diary, in that I record whatever we make today, and then I can see what we've made over the last couple of years, and get inspiration that way. It also has a "Future" list, where I can add things I want to make in the future.
Pfizer Is Lobbying to Thwart Whistleblowers from Exposing Corporate Fraud
Oh goodie, I am not the only one. I ran into this issue last night and YouTube app in my iPad is buffering heavily and stuck in 480p. My usual solution for this is to restart the iPad. Yup, have to restart the iPad because swipe-to-close didn't help.
K|Lens – The third dimension in image acquisition
And that is totally fine when looking for the "unsexy ad-revenue gain" and not stock appreciation.
Man what a nice trip into my childhood, I'm still a Mac user, but I miss the Classic Mac OS aesthetic.
You're missing nothing. Class based OOP is essentially a set of arbitrary ontologies forced upon you by library authors. Your interpretation is no more or less meaningful than the others.
I started doing some work with ML models and immediately realised that around 80-90% of my code was dedicated entirely to data cleaning and preparation. Glad I got some practice before diving into a PhD honetly
You understand that the goal of most VC-funded businesses is to get bought, right?
> That is extremely concerning, then, that it is so difficult to use after all that time.

> I had hopes in the back of my head that "maybe it'll get better/more ergonomic in the next few years".

I feel much the same way about wanting to run something like FreeBSD and having it just work, as opposed to running into weirdness because of the driver situation, with which GNU/Linux seems to be getting better at (even though you sometimes are forced to install proprietary ones for optimal experience, should get better in the next decade).

So, might have to wait for a bunch more years, or just pick something else, like OpenBSD, or just run in a set of constraints for having a really predictable and well supported hardware configuration, which isn't always possible. Alas, my off brand Polish netbook will just have to wait before i can (hopefully) run BSD on it comfortably. Well, short of making the missing pieces of puzzle myself, for which i'd probably also need a decade or so of systems level development experience, as opposed to just web dev and occasionally dabbling in lower level stuff to mediocre success. Of course, by then the netbook itself might not be relevant, so who knows.

I also feel much the same way about GNU/Hurd - a project that is conceptually interesting, but isn't yet quite stable, even though apparently you can get Debian for it: https://www.gnu.org/software/hurd/

Now, i don't have almost any experience with it, apart from reading about it, but some people tried figuring out when it could be released based on the bug reports and how quickly they were being addressed, and the number that they came up with was around 2070 or so.

In summary, there are probably projects out there, for which their age isn't necessarily related to how usable they are, whereas other pieces of software will have never truly achieved that stability in the first place. Not all old software is good (edit: at least not for certain use cases).

Of course, there are exceptions, for example, you can look at Apache2/httpd: it is regarded as old and dated for the most part, however just recently an update was released, which added mod_md. It now lets you get Let's Encrypt certificates without external tools (like Certbot), in some ways setting it ahead of Nginx: https://httpd.apache.org/docs/2.4/mod/mod_md.html Not all old software is always boring.

Same for Docker and any other tools. If developers use tool A for use case X, instead of tool B, then maybe there are some very good reasons for this widespread usage? That's also probably the answer to this debate - regardless of their conceptual/technical benefits, the usability will probably decide which tool will win in the long term.
Yep, the author learnt their lesson. I bet they won't be using cljs again, not even for non-performant apps.
Yes, if you don't provide a correct token that is calculated in heavily obfuscated javascript, the CDN will throttle you to kilobyte/s levels, basically making it impossible to watch anything real-time.

The common way to deal with this seems to be to "emulate" the function calls on the input data, which seem to be randomized.
> Personally I am still not convinced climate change is completely caused by human activity

I'm not concerned at all.

The real problem is that the silly efforts to "do something" are a collosal destruction of wealth while having no effect whatsoever on climate.
How about: Elon’s tweets get sent to Teslas 5 seconds before Twitter shows them.
Wealth Inequality
The RX/R designation doesn't actually say much about the underlying architecture, Polaris is GCN 4, while HD 7000 is ... a mixture. Most HD 7000 cards are first gen GCN, though some are TeraScale 1/2, which would required very different driver support.

I guess it doesn't "matter" to consumers buying a product, but it is unfortunate how confusing the naming schemes are versus the underlying architecture. The R9/R8 cards were similarly a mixture of GCN 1, 2, 3, and even TeraScale.

(similarly, the RX 5xx/4xx series has GCN 1 and GCN 3 cards mixed in, in addition to the actual GCN 4 chips)
Sure, like the general assembly is not voted on by almost all of them by countrys, who then get economic-hegemonic-ally sacked. This is the trouble with almost all international institutions - they are deeply subverted by economic interests.

This goes from the human right council barely condemning genocide, if it is committed by economic ruling partys to WHO recommendations, towing the party line when it comes to them damaging economic interests.
Thanks, I’m really dabbling in the AMD nomenclature.

Trying to discern if my gpu is better supported by radeon or amdgpu gives me headaches.
That’s of course a fair point.

But there are key differences. Twitter is used as a key communication channel for politicians, public officials, business executives, journalists, academics etc. all over the world. People’s careers and influence are built partly on their follower count and who those followers are. Key users post under their real name.

Digg and MySpace were very different from that.
Did you forget to put a license in the repo? I'm guessing you meant to release it under the MPL.
https://www.encode.io/databases/ maybe?
> There is one plan which they've never considered and probably never will: something like Twitch, where you can pay for the "content creators" you like.

Twitter rolled out Super Follows[1] and Twitter Blue[2] a few months ago

[1] https://blog.twitter.com/en_us/topics/product/2021/introduci...
[2] https://blog.twitter.com/en_us/topics/company/2021/introduci...
When the options are keep smoking or stop smoking, the obvious choice is to stop smoking to improve your odds. The positive side effects are worth it on their own.
I have read from an article that they will enable NFT-based profile pictures in the near future, I wonder how will the new CEO act on this feature.
when i started working on a recent realtime project i used linux, although i wanted to do bare metal. but that was not an option because of all the drivers necessary, and i knew i wanted to use the GPU and the cortex A processor i am using. i am still wondering if there really no solution to this situation.
I have to admit my Lego Technic hasn't come out of the box in a while, no idea if that stuff still actually works. I used it ~2 years ago to make a prototype for work though, great stuff for that too.
> The researchers used geochemical and ecological data from ocean sediments to reconstruct the change in water column properties over the past 800 years. They precisely dated sediments using a combination of methods and looked for diagnostic signs of Atlantification, like change in temperature and salinity.

Then, from the original paper:

> Here, we use lipid-based water temperature proxies (UK37
U
37
K
and TEXL86
TEX
86
L
) and benthic foraminiferal data (distribution and δ18O) to reconstruct changes in water mass properties. Specifically, we examined anomalies in our proxy records to identify diagnostic signs of Atlantification. On the basis of a precise chronology, we combine our results with other local climate records to provide an integrated understanding of Atlantification and resolve its timing. Last, our reconstructions are compared with records of ocean and atmosphere circulation patterns to investigate the connections between the high Arctic and North Atlantic dynamics.

https://www.science.org/doi/10.1126/sciadv.abj2946

Lipid-based water temperature proxies use the distribution of lipids deposited by organisms in sediment to deduce temperature. And...

> Benthic foraminifera are single-celled organisms similar to amoeboid organisms in cell structure.

https://pubs.usgs.gov/pdf/of/of99-45/foram.pdf

So the technique appears to be based on isotopic and lipid analysis of sediments deposited by certain organisms. If you can date the sediments and are confident in the link between analyte concentration and temperature, and correct for various factors, you can reconstruct a time/temperature plot.
Ask HN: Is there anyone who transitioned from IT to mathematics?
I am obtaining my bachelor's degree in computer science (information security major) this year. I come from a mathematics olympiad/competitive programming background and I feel more comfortable in the theoretical world of mathematics and algorithms than in the world of industrial applications (I am more proficient in it, too).

Do you think it's a good idea to pivot at this point (perhaps pursue a Master's degree in mathematics)? Do you have any success/failure stories to share?
How about a few people has most rights and others mostly none of? What if those rights correlate with amount of power and money? /whataboutizm
The article quotes an explanation that is quite sensible and convincing and then proceeds to like, mock it?
Bad sensationalism and bad content.
You might get better response if you changed the title to include "Show HN:"

See: https://news.ycombinator.com/showhn.html and https://news.ycombinator.com/show
No, I'm not a consultant. Maybe lead developer is the most accurate title for me:) By what criteria the biggest system do you mean? They certainly weren't toy projects, these are real systems in active use solving real world problems for thousands of users. The ES part of these systems is mainly implemented in .NET using excellent Marten DB as ES store on top of PostgreSQL. I would say that ES changes drastically how you model things and see business. It forces you to identify and define meaningful events. These are often actually something that also non programmers understand so it also improves creatly communication with your clients(or in DDD terms domain experts:)) as a by-product. Scaling also has not been a real issue, these systems can handle thousands of operations per second without exotic hardware and setups, all this mostly synchronously.
Video appears to show UK F-35 fighter crash after take-off
Far less on my machine. I think 1 hour?
Ill take my MP3 and FLAC thank you very much
Open Source on Mars
> The dream is using something like Nix to not only reproducibly build a container image but also all of the infrastructure manifests which reference it. I _think_ this is achievable in Nix if you're willing to deal with all of the pain of actually using Nix;

We did that at an old job. Basically, Nix built images + K8s manifests + a script to push the images. Our CI job boiled down to `nix-build && ./result/push-images && kubectl apply -f ./result/manifests -R`. This is similar to how NixOS' nixos-rebuild boils down to `nix-build && ./result/activate`.
Lol sex is binary, anyone who thinks otherwise is utterly delusional
Ask HN: Weird Technology or Startup Ideas?
What are your weird startup or technology ideas, things that would be cool but that wouldn't necessarily be profitable or possible to build or otherwise practical.
What is it that Twitter does exactly? It mostly seems to exist to put out short one-to-many messages that other media organizations can then cite as Zeitgeist. That may not be a monopoly, but it certainly isn't benevolent to the user, and it isn't how it was billed when it was new.
Ask HN: How can leave my comfortable old job for a new one?
Like many other devs where I work, I am staying in my current job for 3 reasons:
1. RSUs
2. Inertia
3. Limited experience in the current in vogue tools/technologies

Reasons 1 and 2 are not good reasons to stay, but reasons 3 requires a bit more prep/work to rectify.

I would really appreciate any advice HN can provide about how I can use the next 4-5 months to upskill and get interview fit?
>Not just Discord, every little social circle would spin up local mastodon instances.

The Hacker News force is strong in this one.

on edit: born of familiarity with the genre here, but no there is not going to be a great upswelling of everyone running to spin up local mastodon instances. Except in some of the techie market, and not even all of us have the time for that.
My 3D Avatar Store site closed in 2015. The URL is who knows now. I'll put a notice on my profile I no longer control that link's destination. (The change has been made.)
Related: Some US states have "public benefit corporations", that can (have to) put other goals over stockholders. Can those IPO?
> Nonprofits don't make money either and still provide value.

They can make a surplus? And then reinvest it to further their cause?
I think you are right and I would add Turing incompleteness to that list. If your problem isn't Turing complete, then a complete language is actually probably not the best tool for the job. Incomplete languages actually give you more power than in a Turing complete language in that case. Completeness is a feature of a language and like all features there are tradeoffs. The ability to express more kinds of problems comes with the cost of not being able to leverage the contours of a particular problem (e.g. monotonic data, no cycles) to increase things like speed, debuggability, parallelization. This can enable cool features things that seem completely out of reach today. e.g. rewinding the state of your program to debug production errors. Modifying programs as they're running. Automatically parallelizing computations across an arbitrary number of cores. The ability to query the provenance of any variable in your program.

Datalog's incompleteness for example allows it to resolve queries faster than a complete language like Prolog due to the simplifying inferences it can make about the code.
RIP RPi.

I thought the whole idea was to produce boards, priced near cost, for educational/inspirational purposes? ie to give today's kids the same kind of intro to computers (you have to program it) as kids enjoyed with the home computers of the 80's.

The profit motive inherent to a public company does not seem compatible with that mission.
Interesting comparison of use (& abuse) of THC & Gabapentin

https://www.youtube.com/watch?v=K-ZCzmZLSrc
Strangely, once a team adds one risk, they feel more comfortable adding a second risk. Ditto for the third risk, etc. The psychology is weird.
What counts as complex? Is Facebook complex? Google? How about Netflix?

By the measure of “I can explain how they work in a blog post” none of these are complex. But trust me, operating internet scale services is complex, regardless of how simple they seem from the outside.
What's the difference between Vanced and NewPipe?
> as there will be large areas of single colours and few changes between frames which GIF is good at

Pretty sure that's how modern video codecs work too. A lot of movies have regions that don't change much between frames (e.g. backgrounds, or some dude's face staring at the camera all dramatically).

What GIF gets you is a lossless video, which is overkill for most applications. Video codecs can achieve a similar perceptual quality at a tiny fraction of the size, which is why services like gyfcat and imgur will often auto-convert gifs to videos for browsers that support it.

Take this 2MB GIF (https://blackmagic.so/assets/sidebar/most-engaging-hours.gif) and put it through an online converter: https://ezgif.com/gif-to-mp4/ezgif-7-68b177ec1944.gif

WebP: 1.64 MB

MP4: 300 kB

AVIF: 274 kB
There isn't a 50/50 distribution of models predicting nothing and models predicting something negative.
EU Tech Companies File Formal Complaint Against MS Windows One Drive Bundling