skysight-inc/HackerNews huggingface dataset:
Lisp is not a FP. It's a "List processing language" with some features based on Lambda calculus.

Real FP means referential transparency and that started with languages like Miranda and later Haskell.

What many people consider "FP" today is in fact just procedural programming with higher order procedures and lexical closure.
> The winners in this new world would be those who limited their dependence on software to simple systems with limited features that they could maintain mostly themselves, needing minimal support from outsiders.

I'm hoping that this is true because simple systems that require a single-maintainer are my specialty. It's almost unbelievable how much software I'm maintaining right now for myself and my small community:

- A quantum-resistant blockchain (it includes a server component which can be configured to support custom currencies... It includes a bash client, JavaScript client, front end wallet app; all can be configured/whitelabeled to support any currency based on the tech).

- A decentralized exchange which can work with essentially any blockchain (includes back end node, clients, UI trading front end).

- An open source WebSocket library with a focus on scalability (includes server and client). This one gets a fair bit of production usage among startups.

- A no-code platform which lets users build real-time apps using only HTML. This one is new and I'm currently finalizing and working on documentation.

And I still have a lot of spare time. I don't get many bug reports these days. My main concern is that I started to forget details of how some components work because I barely look at the code of some of these projects anymore. Not hard to refresh my memory though I guess. Architecture and tooling is very consistent and I use as few dependencies as possible.
I've by now eliminated all questionable habits in my life. My morning coffee is the one I'm willing to accept potentital downsides to maintain.
It can be a one-directional connection. A port that can only transmit, not receive.
After reading your comment, I spent a few minutes getting Ollama running on Google Colab - works great. First time I tried it on Linux + Intel.
This is possible but how would you encode your vectors?
This is also the moment you should start to take into account the likelihood that you are unnecessary.
This paper is an interesting read, and explains how Koka is fast: https://www.microsoft.com/en-us/research/uploads/prod/2023/0.... In short: they use a clever algorithm to transform functional code into imperative code that reuses memory where it can.
I went to a pre-release audience test screening. The people working for the film company said they'd never had such a positive reaction. The entire audience stood and clapped afterwards.
Are norg and ungron similar to wobble and wibble?
Why MongoDB is a deal breaker?
> use official images and those from Bitnami

In other words, random images from the internet.

> You still have to take care of what you’re actually running.

This is the central thesis of OP, though. Pre-made/official images are not very good and docker in general doesn’t provide any means to improve/control quality.
Single alerts API for all monitoring tools
sure, if you think about the long term usage of augmented reality then we will need to have multiple layers of content {rationale=because we need to focus on one thing in the context of multitasking, because we want to reskin the environment while still maintaining the content, and to avoid unsafely obscuring the field of view during ambulation and manipulation tasks}
This post by the Koka-author is an update about what's currently being worked on: https://github.com/koka-lang/koka/discussions/339
A slower news cycle. In recent days US politics and the various wars have hit relatively steady states. So the news outlets are casting out for interesting science content, stuff that doesn't require math to understand.
> Saying OOP is more popular because it just came first is a complete misunderstanding of history.

No it isn't, because the history relevant for this question doesn't begin at the very start of programming. Most programmers active today didn't go to university in the 60s. In the timeframe relevant to answer this question, the people were indeed confronted with OOP languages, and FP languages were already a niche topic, end of story.

This also coincides with programming, as an activity, massively gaining in popularity across many industries.
> Most customers likely consume multiple times that.

Not according to the authors, who make this clear in the paper:

> we estimated an average daily consumption of 137 mg/day, with a range of 30-270 mg/day by using averages reported in previous trials

Starbucks is bad coffee anyway. Boycotting them is easy.
Thanks, that was an excellent read. If that article hasn't been posted to HN recently, I think it deserves to be posted.
I was just trying to be nice, sheesh. happy holidays
I've the same problems described on your post and your idea is great. I'll try to contribute as soon as I can.
An "unpure FP" is a procedural programming language, because "unpure functions" are generally called "procedures".

But people tend to avoid the name "procedural" at all cost - which is bad because procedural programming really has it's advantages and should be clearly separated from FP which also has certain advantages.
That’s a really tricky what-if since we don’t even know the impact of LLMs on our current world - how would you even begin to speculate about the early modern period?
As long as you're using stone knives, might as well throw in some bear skins.

https://www.youtube.com/watch?v=F226oWBHvvI
Pfft. Just make a GUI in HTML using Visual Basic.
I vaguely remember that the program and built-in could not always do the same, eg the program might not have supported -e. But it’s possible that ksh was used to get -e. Does anyone remember better than I?
"For the last seventy years, we have lived in an era of improving computer hardware and software."

True for hardware, definitely not true for software. See Wirth's Law.

https://en.m.wikipedia.org/wiki/Wirth%27s_law

As others have pointed out, the article also ignores the obvious impact that AI is going to have on software. By themselves these two errors void the validity of this article without even looking at any of its other claims.
It would be more correct to say that some of these sw-words can also be found in or are related to Old Norse and modern Swedish words.

They come from Indo-European roots and are older than Old Norse or Old English.
Cognates are also found in Slavic and Roman languages:

sware - свара - sermone
sweor/sweger - свекор/свекровь - suocero/suocera
The Periodic Table of Tools
The Fourth Republic was overthrown by a military coup. De Gaulle did manage to restore democracy with his new constitution, largely because the military respected him personally more than they respected the institutions of the Fourth Republic. Military coups are not a sign of a resilient democracy and it’s a very rare thing for a military to reliably subordinate itself to a constitutional government.

The Third Republic was also more responsible for its own end than you give it credit for. A minority of the government wanted to keep fighting, from Algeria if necessary, rather than surrender, but the majority were defeatists and fascist sympathizers. The armistice and collaboration was a deliberate choice that came from within the system, as was the reform of the Third Republic into the autocratic Vichy state. In fact, Germany didn’t even completely occupy France until after Operation Torch, when Darlan, the de facto leader of the Vichy government (Petain at this point being more of a figurehead), switched sides and openly cooperated with the Allies, ordering an end to French resistance in North Africa.
Enduring Power of Attorney (in the UK, now called Lasting Power of Attorney [1]) is a solution of sorts. You given up the ability to access your accounts to a third party, usually a relative. It's used when people lose their mental faculties and are incapable of acting for themselves; it can be elective, or imposed by the court in a very long process.

[1] https://www.gov.uk/power-of-attorney
As someone who doesn't take any form of caffeine: Considering how widespread it is, it's probably just another of those trade-off scenarios for your body.
A regular phone can also give you this information, just be seated at the window (I guess) for best reception of GPS data. The GPS test app is nice for this.
It would be helpful if your tool had a unique feature that differentiates it from competing tools, but even if you came up with such a unique feature, its going to be copied eventually. There are so many Link in Bio tools these days and all seem to be more or less the same. But competition isn't necessarily a bad thing. Despite the competition, I've seen social media profiles use different tools, not just the best out there. Even if you had built the best tool, its not going to make much of a difference if no one knows about your product. Maybe you could focus on go-to-market strategy. You could narrow down your target audience and redesign it for a specific audience instead of something too general. Something just for artist, designers, musicians, doctors, lawyers, students etc. and try to get one influencer who has similar followers to use your tool in their bio. You should drop a link here to get more feedback.
I thought the API here was quite neat. It's fairly simple to implement a lancedb backend for it instead of sklearn/faiss/mrpt as the source code is really simple.

This repo is basically just a nice api and the needed chunking and batching logic. Using lancedb, you'd still have to write that, as exemplified here: https://github.com/prrao87/lancedb-study/blob/main/lancedb/i...
Can it though? The chips in 10$ AFAIK have hardware limitation built in to cut/fudge output on high (air traffic scale) speeds.
Because MongoDB's license change disallowed cloud service provider to host MongoDB. This reduces the competition and *probably* making MongoDB more expensive than says PostgreSQL. Which I can find a hosted solution anywhere I host my VPS.
Do you have a different link that talks about that? The Wikipedia article says there were no health issues.

“Despite the cost and the number of personnel involved in the cleanup, traces of contamination remained forty years later. Snails were observed with unusual levels of radioactivity.[31] Additional tracts of land were also appropriated for testing and further cleanup. However, no indication of health issues has been discovered among the local population in Palomares.[29]”
I really really love Llamma uncensored. It is my fav model.

Gives me what I want with a warning along the lines of “but I may be incorrect, use your own judgment”.

It’s the model that treats me like an adult.
320 EeV = 3.2e20 eV ~ 50 J ~ energy required to lift 5 kg by 1 m or energy sufficient to warm a cup of water from 0°C to 40°C

Edit: to launch 100t of payload to LEO with Starship you will need ~60 millions of such particles, a tiny fraction of the number of protons in human DNA.
Carvana is used cars only. The problem is the restriction on new cars.
As always, the answer to the headline is, no.
It would help if you defined “chronic consumer” in this context, because consuming multiple cups of coffee a day certainly sounds chronic to me.
How does it read? Does it takes a serious and insightful approach like Stephen Kotkin's biography of Stalin, or is it more BBC documentary level simplistic narrative?
Curious, is that the only thing you consider not to be “real work”? And what even is “real work”?
Yeah the puzzles were awesome
Thanks! I'm not familiar with that, I'll try to look it up.
The DC metro stations are very spacious. Been a long while since I lived in DC but they weren't crowded compared to stations in NYC or London.
Also my first question.
Trusting societies are overall happier (2022)
It sure seems like the average person doesn't care that children use Facebook and similar online services. Why should we give more power to state regulators when the public doesn't even want the regulation in the first place?
https://ntfy.sh/ is also worth mentioning in this space.
Depends on the project. New features and things do get separate branches that eventually get merged in once tested thoroughly, especially for website development projects.

But it definitely depends. A website usually benefits from feature/bugfix branches more than a game or mod does, since the latter usually has the parts so atomised that your changes to one would have basically zero effect on any others.
You aren't suggesting that statistics as a field defined a notion of "order", prior to thermodynamic entropy or Shannon entropy, are you? To me, that would be circular.

Based on my knowledge, it seems likely the first published quantification of disorder arose in the study of thermodynamic entropy. Later, Shannon defined entropy in information-theoretic terms, independent of physics. It can be interpreted as a notion of 'surprise' or what he called information.

My claims:

First, the field of statistics is _not_ historically rooted around concepts such as: "order/ordering" or "information/surprise".

Second, the field of statistics, as a directed graph of abstractions, is not rooted in ordering nor surprise.

Third, in teaching statistics, practically or conceptually, the concept of surprise isn't foundational. The idea of _variation_, on the other hand, is central.

I'll add a few more comments. To talk meaningfully about 'surprise', there has to be a stated or assumed baseline or 'expectation' about what is _not_ surprising. For Shannon, if the probability of an event is certain, there is no surprise. Probability and statistics work together, but they are conceptually separable. This is particularly clear when you compare descriptive statistics with, say, probabilities over combinatorics problems.
I've been thinking more about succ_inj and I keep thinking Peano was right (injectivity of the successor function must be an axiom) and the NNG is wrong (it's not a theorem).

NNG gives you the pred_succ theorem, and calls it a theorem, but I don't see how it's supposed to be proved. Suppose the successor to 9 were 3. What's stopping that from being the case?

I don't see that pred_succ ("pred succ n = n" for all n) is a lemma from which succ_inj can be proved - it looks to me like pred_succ is logically equivalent to succ_inj. Each is true if and only if the other is.

Here the problem is not so much that the pred function is mathematically pathological as that the axioms, without the axiom that the successor function is injective, do not allow us to define a predecessor function at all. The guarantee that when, you call succ on nine, you don't get a number that is also the successor of some other number -- which is necessary in order for pred_succ to be a valid theorem -- is precisely the statement that succ is injective.

Am I missing something?
What are the quotation marks meant to convey?
The Quest for Gold: https://en.wikipedia.org/wiki/DuckTales:_The_Quest_for_Gold
Pick a word that you like, count the letters on your fingers, even is 0, odd is 1. Choose a longer word to make it harder to predict length.

For example, "sesquipedalian" is 14 letters, which even, which is 0. Pick a new word to repeat.
This sounds like as much of an defence against internal attacks than against scammers.

Though it might be helpful if the customer noticed the attacker didn't ask for the confirmation and became suspicious, but that's probably a small number of people and scammers are very good at allaying such worries with plausible excuses.
From the website "Flix is inspired by OCaml and Haskell with ideas from Rust and Scala".

Inspirations and ideas from four of the arguably most complex languages of the modern world, all the best with that.
I was in Montreal recently and the metro is one of the nicest I’ve used. It was on time, reliable and well designed. The stations are all architecturally interesting, and some of them even “beautiful”. The trains are very comfortable and unlike most metro’s, the lighting is soft and doesn’t overwhelm your senses when taking at night. Also for anyone interested in trains, the rubber tires on an interesting touch, albeit limiting if they wanted to expand the metro above ground.
Some People Just Want to Watch the World Burn
So the answer is: "No they cannot".
Wise will include a user-set keyword on all communications: https://wise.com/help/articles/2932695/watch-out-for-phishin...
Edge has helpfully copied Firefox's "awesome bar" in doing bookmark search and history search with * and ^, respectively.

Sadly Edge doesn't do tags, I initiate them by appending keywords to the bookmark name.

(I have to use Edge at work.)
Old Norse is Germanic so I'm not sure whether you're suggesting those words entered the English vocabulary later, with the Vikings, of which I'm sure there are examples. On a side note, I liked seeing "swike", which would have been nice for Swedish speakers if it was still in use in English today.
Self hosting only makes sense to me if the bookmark search is integrated into the address bar?
Original research paper: Chronic caffeine consumption curbs rTMS-induced plasticity https://www.frontiersin.org/articles/10.3389/fpsyt.2023.1137...
> Where does that info come from ? If it does come from the "Aircraft Control Domain, or ACD" then these two systems are probably not "completely isolated" as claimed in the article?

You are indeed right, there is a connection to the BUS that shares some information. You can also write back some of the information(flight number, flight leg etc.) back to it. However, rest of the things are read-only. So, no way to do weird things like modifying the altitude or ground speed etc.

Basically, the main computer is completely isolated from the infotainment system, except for the BUS emitting these minor information.

You can however, probably get near the main computer if you can get the jump seat ...

Disclaimer: Work in aviation tech.
Even if you are there you still don't see the whole event, just the tiny part that is within view. Everyone has to rely on the evidence gathered and presented by others.
Oof ... a PoA is a bit of a sledgehammer to crack a nut for many people, especially those who still have a perfectly fine mental faculty.

Most UK financial companies will have a third-party authority process. Its the sort of thing used to give professional advisors access to the account, but there is absolutely no reason it cannot be used to give other sorts of third-parties access.

The core difference is that a TPA is technically temporary (and thus will need to be renewed on a schedule, typically annually), whilst a POA is a more permanent affair and that's why a POA is a pain in the rectum to setup.
In a world enamored with the always-new, always-cutting-edge it bears repeating bog-standard advice, I guess.
Also note immediately above the mention of 'what new weights may bee established’.

…might this discourse pertain to contrivances akin to neural nets?
"Privacy & settings – where it lives now – is a natural home for it, but we think it should appear elsewhere too."

Seems like the next step would be to send an app push notification before the call and to have a banner that's visible as soon as you log in to the app. Some sort of visual indicator that appears everywhere in the app that you should not be on a call may also reduce an attackers chance of succeeding.
Same for me. I started using Chroma (about) a year ago, I am used to it, and if I am using Python I look no further.

When I use Common Lisp or Racket I roll my own simple vector embeddings data store, but that is just me having fun.
Which of you are doctors? Why do you talk like this if you are not?
Or laptops?
It looks as if https://tryapl.org/ might have put some effort into being mobile-useful. (the terse symbology was once valuable at 110 baud, and could be again if one has to use an onscreen keyboard)
Transformer inference is ~60 lines of numpy[0] (closer to 500 once you add tokenization etc). It would be nice to just have this and not all of pytorch and transformers.

[0] https://jaykmody.com/blog/gpt-from-scratch/
How do you know it’s accurate?
That's the part that makes current LLMs fundamentally flawed as AGI agents - unless you incorporate experience based knowledge validation/learning - the book knowledge you have is useless. Most of published research out there isn't reproducible, and that's the highest standard we have for published knowledge.
Unions are doing this as allowing someone like Tesla not to follow contracts, might mean that others will try as well and then entire thing collapses.
No gates = No tracking.

Some cities in Germany do this. Instead they do regular ticket inspection with high fines.

Makes for much smoother entry and exit to the stations and making the metro feel part of the city.
What you describe is exactly what the V compiler does.

It produces warnings for unused variables, and warnings become errors, when you want to compile a production executable with -prod , so you can get both the benefit of prototyping without losing your flow, and you are still required to cleanup after that, when you are finished, before release.
As much as I welcome more actual science on this topic, I don't think the words 'new key' are at all justified here (and they aren't used in tfa).

New to some WEIRD nuclear families maybe, but not actually new or surprising.
Would a graph database (e.g. Neo4j) be any better?
The findings were published now in a scientific journal and not then.
Drone tankers are already a thing. The US navy has done it. This is about drone boom tankers, something that is specific to USAF. Many countries are happy with basket aar. It has some advantages over booms.

https://en.wikipedia.org/wiki/Boeing_MQ-25_Stingray
The interests associated with the FT are the ones who make sure that the British government keeps the gate wide open because they want high immigration. I suppose this is the same across Europe.

So it is not surprising that they would paint those calling for a clamp down as xenophobs with an irrational fear and panic...

It is also quite daring for the author to use Indians as an example of the difficulties of getting a British visa in the same week as a UK immigration numbers are reached a new record high with the top country of origin being India (253,000 in 2022).
I was recently following along with a video tutorial (on FreeRTOS) where the person was live coding in VSCode, which is what I also use. He would type in code while also reading the code out loud. I was switching between the video and my own editor to type along with him, and at the same time try out some other stuff in the same code.

I stepped away for something, and when I came back, clicked in my code to place the cursor where I thought I had left, and to my surprise the editor started to write the code by itself while also reading it out loud. It was of course the video, but I was pretty tired and it took me a bit to realize. A very confusing experience.
The Weird World in RGB (2019) [video]
more specifically it is not allowed to charge a fee for common payment methods. exceptions are uncommon credit cards (everything except visa and mastercard) or paypal.

that means if you pay cash or card, the price is the same.

you are also not allowed to reject cards for small amounts.
XRF?