skysight-inc/HackerNews huggingface dataset:
> FP is such a different paradigm than the leading imperative/OO design that most are comfortable with.

I don't think most of FP is at all hard for most programmers to understand. Hell I interviewed plenty of Javascript devs that couldn't solve a simple fizzbuzz level question because they didn't know how to do for loops - they only knew how to use `.forEach()`!

The hard bits in Haskell are:

1. Purity. I get it, but it definitely makes things harder.

2. Weird syntax: pervasive currying / single argument functions / lack of grouping syntax / waaaay too many operators, etc. E.g. from your link:

let singlewords = words contents
list = f singlewords

This is just a collection of words. No clue of what is a function call, what is a variable name, etc. Allow me to recreate the experience of reading Haskell, if you think the above is reasonable:

file read lines put
lines iter while cbr empty
for do <~> x IO::print

3. General unfriendliness to people who aren't hardcore Haskellers. E.g. suppose I want to match a regex. In Go, Python, Rust, Javascript, etc. there's one obvious way to do it. Haskell? How about you pick between 8 alternatives... https://wiki.haskell.org/index.php?title=Regular_expressions

There are other flaws, like global type inference & lazy IO, but I think those are the main ones.
Yeah. I'm working on it
One complaint is LaTeX isn't semantic, but visual markup.
> it has more than enough weapons manufacturers and any additional funding should be directed to them.

Sure, but that won't buy us the ammunition that Ukraine needs right now. For a period of time you'd need to buy Patriot missiles, 155mm shells and a ton of other stuff from the US. Then you can slowly shift to sending shells made in the EU, IRIS-T or NASMS air defence, Marders and CV90 IFVs, and Gripen fighters over time.
I was trying to make sense of this sentence of the original commenter: "In new code I try to use threads, but certain things like yield which rely on async are simply too common and useful to stop using."

Seems to suggest that threads and yield/async were mutually exclusive. I misunderstood. I will move on.
They're not useful when you're completely new to a subject? On the contrary, I've found that they are excellent when you have limited knowledge in a domain and less useful when you have expertise. They have allowed me to go from zero to functioning MVP on numerous computer vision projects, even though I have zero experience.
Yesterday, I saw a thought provoking talk about the future of of "math jobs" assuming automated theory proving becomes more prevalent in the future.

[ (Re)imagining mathematics in a world of reasoning machines by Akshay Venkatesh]

https://www.youtube.com/watch?v=vYCT7cw0ycw [54min]

Abstract: In the coming decades, developments in automated reasoning will likely transform the way that research mathematics is conceptualized and carried out. I will discuss some ways we might think about this. The talk will not be about current or potential abilities of computers to do mathematics—rather I will look at topics such as the history of automation and mathematics, and related philosophical questions.

See discussion at https://news.ycombinator.com/item?id=42465907
The latter. “Learning” in the comment clearly refers to adding to the knowledge graph, not about training or fine-tuning a model. “and then you can RAG them.”
You forgot to mention the differences you find important and why they ought to be important to the authors of the project in TFA.
I don't think that is an option of any sort.

That's insane. Of course it's an "option". No one in these countries (outside of a very tiny portion of wackos) cares about the current borders, or dreams of starting a war to move them.
I'm local, I know a ton of former Lexmark people, because they've already been all-but dead in Lexington for some time. They mostly only did R&D here for decades, and that group has been dwindling.

Large groups of Ex-Lexmark folk have ended up in other local tech companies, many ended up at OpenText (via HP via Exstream, the eventual successful startup from a local serial entrepreneur that basically makes the tools to do semi-individualized bulk mailing like bills), Badger (robots for doing retail work) was founded by folks leaving Lexmark, etc.

Amazon has been buying up their old buildings (long, long ago it used to be a sprawling IBM campus that did typewriters, printers, keyboards, compilers, EMI testing...) as they contract.

Like much of the US, Lexington has lost a bunch of manufacturing, but IBM/Lexmark as a major entity is already long gone.

It is funny that they've been bought by a cartridge cloner, and foreign private equity, and are now being bought by a competitor, they keep dying in new ignominious ways.
The chart you posted from Verivox shows exactely what I said. Prices are down below pre-war levels.

The EEG tax subsidy is getting less and less. We are paying primarily for very old solar installations.
Fair enough, most of my memories about building fast, complex queries come from my Postgres times.

Though I remember one instance where while using MySQL in a web app it turned out that N+1 was faster than doing a JOIN.
and they had a "geek port" -- what nerd wouldn't love a machine with a GEEK port?
Lexington is 320k people, the second biggest city in the state. It's the only major shopping destination for eastern KY. It'll be fine.

(I lived for a year in Morehead, drove to Lexington regularly)
I think that’s the point though. This is an area where C just isn’t expressive enough and other languages have come in with a solution to fix that.
I use black electrical tape for those ever-more-common nuisances.
I hope he supports elephants. They're very endangered.

We've already seen that Musk has pledged his commitment to China's core socialist values.

Musk also advocates for Taiwan's submission to China: https://www.theguardian.com/technology/2022/oct/08/elon-musk...

Musk decried California's covid measures as "fascist": https://www.theverge.com/2020/4/29/21242102/elon-musk-corona...

But praised China's covid efforts because "Shanghai's COVID-19 measures helped lay the foundation for the city's future development" even though they were stricter than California's: https://www.reuters.com/business/autos-transportation/tesla-...

Musk is full of praise and support for China. Can you find for me a single criticism of the Chinese government from Musk?
> uniformed

I'm there in person on a weekly basis. Better to be experienced than informed.
Is there any tool built for CXOs so they can have access to the entire data?
CXOs and agents have completely different workflows, but they’re still using the same CRM/ticketing tools. Is there anything designed specifically for C-level executives?
Never heard of. Do you have any concrete examples? Would be good to know about for me in 2025.
Russia is no stranger to the relationship between the economy and death. Both wars and economic mismanagement have led to famine in Russia. As for AI, we have no proof that it will work out for the benefit of humanity. Even if we did have such proof, it would also depend upon people heeding its advice.
serious question, how do you know your vote is counted and is not intercepted/counterfeited before that?
Every profession seems to have a pessimistic view of AI as soon as it starts to make progress in their domain. Denial, Anger, Bargaining, Depression, and Acceptance. Artists seem to be in the depression state, many programmers are still in the denial phase. Pretty solid denial here from a mathematician. o3 was a proof of concept, like every other domain AI enters, it's going to keep getting better.

Society is CLEARLY not ready for what AI's impact is going to be. We've been through change before, but never at this scale and speed. I think Musk/Vivek's DOGE thing is important, our governent has gotten quite large and bureaucratic. But the clock has started on AI, and this is a social structural issue we've gotta figure out. Putting it off means we probably become subjects to a default set of rulers if not the shoggoth itself.
> Fundamentally I think we want experts, not critics.

I think both have their spaces, but honestly, I would like to have more critics.

With the advent of podcasts and YouTube channels, we have an unprecedented level of access to experts. In my case, I was about to record an album with my band, and back in the day it was hard to get information on what happens in a studio. I saw one video from a band that I liked and got more or less the idea about the process and what it takes [1].

Regarding the critics I agree with others that access journalism corrupted the role of the critics, and I tend to think that we're in thins moment another side of the layman or surface critics (in this context someone who can translate small nuggets of technical knowledge to a broader public, or infotainment) dictating part of the discourse based on cultural aspects.

One example was the whole debacle related to the Disney Star Wars series Acolyte.

The surface critics dunked the series on YouTube, and on the other side, the access journalism tried to protect the series due to the relation or personality of their authors.

I watched the whole series and even though I personally rated it 3/10, I really would like to understand the artistic and technical aspects of why the show wasn't great.

- Why the writing aspect was the main problem of the show?
- What's the role of cinematography in the scenes?
- How does this piece tie with the lore and what are its implications?
- What are the issues with the sound and depth?
- And regarding acting, which elements went wrong?

I tend to agree that the old 3 superficial paragraphs critique is gone, but I do not think that the new critique via Podcasts and Youtube are great substitutes either.

[1] - https://www.youtube.com/watch?v=Y40ZyDQXfoE
"AI" is like anything else. Big capital will weaponize it to further entrench themselves and further disadvantage smaller businesses and individuals, in the pursuit of increasing profits and growth.
The OP said "truly open" not "open model" or any of the other BS out there. If you are truly open you share the training corpora as well or at least a comprehensive description of what it is and where to get it.
“Newfound”?
People have been fighting this debate for decades. I remember having this exact debate at school 20 years ago, except the price arguments back then were bullshit, but people didn’t care enough about the environment so there wasn’t any pressure to change.

Nowadays the price arguments are… complex. But for the first time people actually care enough about the environment that nuclear is no longer competing poorly with coal (except for in Germany).

The exact maths on comparing pricing is complicated, given that energy storage costs vary so much depending on the inputs (try looking up storage costs for a 100% solar/wind grid during a once in a decade lull, it’d make nuclear look great, but obviously for a slightly mixed grid and more typical conditions, storage might be reasonably priced vs nuclear).

Anyway, I’m mildly disinterested in nuclear now that it’s only a side show to renewables, but I think it’s far from being a slam dunk either way. If some country or politian is more interested in nuclear, fair play to them, I say go for it. We’re not in a comfortable position right now so any movement away from fossils is a win regardless of where we end up (within reason of course)

No doubt the debate will only be resolved once and for all once fusion turns up and actually makes fission genuinely irrelevant (even then, fission might be cheaper for quite a while).
> You can back door around $70k per year into a Roth currently I believe.

You can only backdoor $7k/year into a Roth IRA. That isn't much.

If you have access to a qualifying 401k plan, you can mega-backdoor $46,000 into a Roth 401k. Many 401k plans do not support this, however. In practice, a plan is unlikely to support it if the company doesn't give a 401k match (it's basically impossible for a plan to meet the "non-discrimination" requirement without matching).

> And I’m not sure why you’re talking about LEAPS. [...] Theta is only one of the Greeks.

Because the effect of theta is least for LEAPS. They're the "most share-like" options.

> Options are naturally leveraged: you have synthetic positions on [complicated Greeks math]*100 shares with every option.

I agree that the "natural leverage" is the reason for the appeal, but the 100x multiplier is priced in.

In practice, IIRC (it's been a while) I've found that, with long-dated calls near the money (ideally a little bit in the money, for lower risk), you end up with about 2x leverage. The "100% loss" downside sort of gets "balanced" (debatable) by "2x upside". In the past I've felt really smart doing this until it's blown up in my face. Given the multiplicative nature of gains/losses, I'm not sure it's a good deal at all.

> Same with futures contracts re: natural leverage.

Curious about this. I suspect that it's a sucker's game, but wouldn't mind learning more.
I think there used to be a similar thing in Germany, the "Kulturverein". AFAIK, these were similar clubs about nothing particular (presumably, food and drinks were served when they met) - but these days, the few remaining ones are actually about promoting art and culture, it seems.
Maybe the both had a similar AI strategy
Anything like the HN logo, actually.
Read more carefully. We talk about "third-party dependencies" not about "other implementations". Using HTTP server from your runtime is not against the recommendation of avoiding third-party dependencies. Your runtime is usually not counted as "third-party dependency", normal runtimes don't have breaking changes every other moon

(Even if you need to implement something like that from scratch it may be OK, your requirements don't need all of the functionality a third package includes because someone else needed it)
Both factorio and minecraft used their own proprietary engine, built in-house, ad-hoc for their game, as far as I remember? Minecraft was pioneering voxels, while factorio was the first one dealing with that massive amount of objects running at all time.

So by definition, they did not use modern tools.

To be clear, there are plenty of games that do that, I just think those 2 are terrible examples.
Also on that album of course "There is no dark side of the moon, really. As a matter of fact, it's all dark". Wasn't that just some random studio guy, on the spur of the moment, too? Simpler times, more creativity.
The source of it:
https://github.com/microsoft/markitdown
> Unless you believe in determinism and an overseeing god

Or perhaps, determinism and mechanistic materialism - which in STEM-adjacent circles has a relatively prevalent adherence.

Worldviews which strip a human being of agency in the sense you invoke crop up quite a lot today in such spaces. If you start of adopting a view like this, you have a deflationary sword which can cut down most any notion that's not mechanistic in terms of mechanistic parts. "Meaning? Well that's just an emergent phenomenon of the influence of such and such causal factors in the unrolling of a deterministic physical system."

Similar for reasoning, etc.

Now obviously large swathes of people don't really subscribe to this - but it is prevalent and ties in well with utopian progress stories. If something is amenable to mechanistic dissection, possibly it's amenable to mechanistic control. And that's what our education is really good at teaching us. So such stories end up having intoxicating "hype" effects and drive fundraising, and so we get where we are.

For one, I wish people were just excited about making computers do things they couldn't do before, without needing to dress it up as something more than it is. "This model can prove a set of theorems in this format with such and such limits and efficiency"
I count myself among them. And I wouldn't say I am "otherwise solid". I am solid. Nix is just a weird custom footgun-laden language in a place where I don't want to have to learn a weird custom footgun-laden language. It has other serious issues too, like the fact that it is declarative makes discoverability extreeemely difficult. What does setting `foo: true` do? You can't go-to-definition on it. You can only hope it is well documented (it isn't) or try to find the place that reads that key ... somewhere... in all of Nix... Good luck.

Hell even if it were a perfectly designed language (it isn't) I still would be put off by it because I don't really want to be a professional full-time packaging engineer.

I think Bazel got a lot right by using a subset of Python. Basically nothing to learn language-wise.
It's a slippery slope to begin choosing which products are go and no go.

Sugary slope.

It starts with banning colas and ends with a gov requirement to eat soylent green.
Global elections in 2024: Internet traffic and cyber threat trends
What I liked about this in Blade Runner, was that if replicants are "people" (more the topic of the first movie), then it's not much of a stretch to consider software-AI as people, too. It would have been great if this question had been further explored in the 2md movie instead of just accepted.
I'm always just so pleased that the most famous mathematician alive today is also an extremely kind human being. That has often not been the case.
https://en.wikipedia.org/wiki/Schönhage–Strassen_algorithm

I forgot the log(log(n)) factor.

In any case, for matrix multiplications that people actually do, this algorithm runs slower than a well optimized O(n^3) matrix multiplication implementation because the constant factor in the Big O notation is orders of magnitude larger.
I think it's a little of both. Maybe generative AI algorithms won't overcome their initial limitations. But maybe we don't need to overcome them to transform society in a very significant way.
I love ruby and rails, but agile Daily-Stand-ups (DSU) are a pain in the butt. I have a hard time remembering what to share; what I did yesterday, one-offs I did the day before because I completely forgot. Anyhow, I created this dandy little ruby gem, called dsu. Currently, we're a small, but dedicated band of users who love the tool. You may love it also. If anyone wants to give it a try. Enjoy:

- Visit the dsu ruby gem wiki: https://github.com/gangelo/dsu/wiki

- Straight to rubygems.org: https://rubygems.org/gems/dsu
Sprightly Stars Illuminate 'Christmas Tree Cluster'
Ugandan runner due to arrive in London after 516 days, 7,700 miles on the road
RD Tool: Explore emergent shapes/patterns with reaction-diffusion simulations
Or is it just white collar workers experiencing what blue collar workers have been experiencing for decades?
> in addition to other parts of the workflow lifecycle

FWIW this is primarily based on the LangChain framework so it's fairly turnkey, but has no integration with the rest of your application. You can use the @traceable decorator in python to decorate a custom function in code too, but this doesn't integrate with frameworks like OpenTelemetry, which makes it hard to see everything happens.

So for example, if your LLM feature is plugged into another feature area in the rest of your product, you need to do a lot more work to capture things like which user is involved, or if you did some post-processing on a response later down the road, what steps might have had to be taken to produce a better response, etc. It's quite useful for chat apps right now, but most enterprise RAG use cases will likely want to instrument with OpenTelemetry directly.
I’m can’t wait for computers with negative runtimes! /s
They aren't just in the hands of big corporations though.

The open source, local LLM community is absolutely buzzing right now.

Yes, the big companies are making the models, but enough of them are open weights that they can be fine tuned and run however you like.

I think LLMs genuinely do present an opportunity to be neutral experts, or at the least neutral third parties. If they're run in completely transparent ways, they may be preferable to humans in some circumstances.
You can actually disable that default behavior through the config file .aider.conf.yml [1]: auto-commits: false

Or if you prefer in .env [2]: AIDER_AUTO_COMMITS=false

[1]: https://aider.chat/docs/config/aider_conf.html

[2]: https://aider.chat/docs/config/dotenv.html
The only thing I've consistently had issues with while using AI is graphs. If I ask it to put some simple function, it produces a really weird image that has nothing to do with the graph I want. It will be a weird swirl of lines and words, and it never corrects itself no matter what I say to it.

Has anyone had any luck with this? It seems like the only thing that it just can't do.
What is c*? (seriously, I am not a native speaker and cannot turn the stars into a word that makes sense)
The follow-up question is "Does it require a paradigm shift to solve it?". And the answer could be "No". Episodic memory, hierarchical learnable tokenization, online learning or whatever works well on GPUs.
>My knee-jerk reaction is that the promotion and propagation of such methods should not be allowed

Both you and the rest of the world would be better off not worrying about/trying to stop other people from doing things that don't harm anyone else.
Same here. Haven’t looked into Go iterators because I couldn’t find a purpose, but trying them in our SDK for pagination was on my list. Great.
As the reviewer, I would like to annotate the replay session along the way and have those annotations available to other reviewers and the PR author.
Aya: Android Adb Desktop App
Fair, although I think the analogy breaks down quickly enough that it's not necessarily helpful.
So will that make society shift to the left in demand stronger of safety nets, or to the right in search of a strongman to rescue them?
Elixir 1.18's new "auto_reload" option in IEx
Does the pope shit in the woods? I don't monitor 24/7 to check but my logic probably says yes. What's your logic about this law? But don't mistake absence of evidence for evidence of absence.

(Also you can find interesting stuff like https://www.smithsonianmag.com/smart-news/study-finds-rat-po.... Is this illegal? By law totally yes in at least 4% cases of those dead eagles are illegal incidental kills without permit and others are at least disturbance. How many people prosecuted? I count grand total of zero.)
> I would think that the market for printing is shrinking with more documents being sent via the Internet

https://m.youtube.com/watch?v=Ol-wwJBVncQ
The big takeaway from this article:

> All the experts TechCrunch spoke with strongly recommend turning on Lockdown Mode if you think you may be a target, especially if you are a journalist, human rights defender, or dissident.

What does Lockdown Mode do?

> When someone enables Lockdown Mode, some Apple apps and services work differently. For example, most attachments and link previews are blocked on iMessage, FaceTime calls from unknown contacts are filtered, location information is removed from shared pictures and certain fonts on websites are prevented from loading.

https://techcrunch.com/2023/12/07/apple-says-it-is-not-aware...
> One of the easiest hacks for successful software longevity is keeping people around for a decade.

That doesn't sound like an easy hack at all, but I can appreciate the value of achieving it. Are there any good books or studies on this subject?