skysight-inc/HackerNews huggingface dataset:
FWIW interoperability of F# with C# has improved substantially.

For example, compared to GP comment on coroutines - starting with version 6, F# natively supports writing asynchronous code with task CEs that are based on the same Task<T> type as async methods in C#. Asynchronous sequences (IAsyncEnumerable<T>) can be consumed with first-party FSharp.Control.TaskSeq package and work both ways too (ironically, it's what prompted me to look into F# in more detail, noticing how much terser working with them was compared to C#).

F# mainly lacks the kind of push Kotlin gets by being first-class on Android. But at the same time F# has excellent tooling support with Ionide and FSAC which can be consumed from VS Code, Neovim/Emacs and anything else that works with LSP, and there are two separate commerical offerings with first-class support - Rider and Visual Studio. It is also shipped out of box with .NET SDK including F# interactive for scripting which I find very productive.

If I were to employ it in my team for a task F# is particularly well-suited for, it would be a low-risk change that would not require other contributors to take any extra steps to work with it - it slots right into the same solutions and most F#-declared types can be consumed as is from C#. The adaptation effort required for experienced developers should be minimal too.
Why would that matter? Adding extra CPU cores to the GPU sounds like a much dumber idea to me. You'd be wasting silicon on something that is meant to be used infrequently.

Is it really that difficult to imagine 1% of your workload doing some sort of management code, except since it is running on your GPU, you can now freely intersperse those 1% every 50 microseconds without too much overhead?
This post is complete nonsense and you obviously haven't looked very hard.

You could start with the work of W Brian Arthur.

Unless by "discussed prominently" you mean youtubers who don't know what they are talking about. Then you would be correct.
Seal is an app that acts as a wrapper for online storage services like Google Drive, adding a unique layer of security by encrypting files before they are uploaded. This feature allows users to safeguard their data, as files are encrypted locally on their device before being stored in the cloud, offering extra peace of mind for sensitive information.
> Not quite what I was imagining, but probably much simpler to implement than a Unix where the kernel can see processes running on different ISAs on a shared memory space.

Indeed. The other argument is that treating the computer as a distributed system can make it scale better to say hundreds of cores compared to a lock-based SMP system.
Distrobox in Practice (2023)
It's amazing to watch absurdly futuristic tech from 1960's TV become reality. I'm used to seeing that from Star Trek, but this one is from "The Prisoner".

https://arkhavencomics.com/wp-content/uploads/2023/05/image-...
Do you have an opinion on Mini CPM 2.6 in comparison to Qwen2-VL?
Fossil-free jobsite reaches 50% electric operation with new Volvo wheel loader
Yeah, the idea that you can't do something like this at 60 is just the rambling of someone that doesn't know what they don't know. Not as bad as the comments on HN that talk about cognitive decline at 40, but still badly uninformed.
Well yes, that's just decent Bayesian rigor.

Previous studies have set a prior of x% confidence, you see evidence to the contrary, you update to some x-y%.

Given the volume of research on sleep, it probably takes more evidence, even if it's your own study to throw that out.
What exactly should replace them? I am not aware of any reasonably comparable competition.
set incsearch

Now use / (+ n or N) + Enter to move around

Done
The funneler and rakeui gem was quite cool to learn about
ModRetro Chromatic: Better Than the Game Boy Color It Emulates
Write code for an Acoustics firm. They are specialists in acoustic design and control systems for large spaces (Airports, Amusement Parks, Auditoriums, Cathedrals etc). Requirements change from site to site. So get to travel to really cool places and hang out with creative types (architects, musicians, artists etc) the whole day. Avg pay and unpredictable business cycles but work is super satisfying and fun.
What cause am I propagandizing? Just curious.
The problem is that I can not pace myself.

I can go cold turkey without any withdrawals. Not using no phone or computer on holidays? Not a problem. It would not be a great sacrifice for me to never touch a computing device ever again in my life.

But that using the internet only at certain times thing? Absolutely not. There will always be an exception because I need to look up something really badly and once the exception is done it is over. Restricting certain sites? But then there is that search result or that person linked me something I need to see. Away with the filter!

It sucks because as a software engineer I need to keep up with things so there isn't really a way to quit.
Confiscation until the next day could cause all sorts of problems. For example my daughter needs a smartphone app for bus tickets. It would be a lot more expensive to buy a single ticket to get home and I suppose (especially with younger kids) its going to be difficult to ensure they have the money to get home - or the phone might be their main means of payment.

People are dependent on smartphones to live day to day, in a way that they were not on simple mobile phones.
old men yelling at clouds

nobody said they can’t. Statistics show they don’t do it the at the same rate so it’s an accomplishment when some do
Readme CPU Glossary
My neighbours have a way out of this for their 8yo, even though their intention was to just stay in touch as he plays outside unsupervised: smartwatch.

Functions perfectly well as a phone with some additional utilities, but doesn't draw the sort of attention an equivalent phone would if that's what you're going for.
I don't understand why people keep talking about :wq when :x has been a thing for so long now
Alright. Suppose "meaning" (or "understanding") is something which exists in human head.

It might seem as a complete black box, but we can get some information about it by observing human interactions.

E.g. suppose Алиса does not know English, but she has a bunch of cards with instructions "Turn left", "Bring me an apple", etc. If she shows these cards to Bob and Bob wants to help her, Bob can carry out instructions in a card. If they play this game, the meaning which card induces in Bob's head will be understood by Алиса, thus she will be able to map these cards to meaning in her head.

So there's a way to map meaning which is mediated by language.

Now from math perspective, if we are able to estimate semantic similarity between utterances we might be able to embed them into a latent "semantic" space.

If you accept that the process of LLM training captures some aspects of meaning of the language, you can also see how it leads to some degree of self-awareness. If you believe that meaning cannot be modeled with math then there's no way anyone can convince you.
Thanks for sending me down a rabbit hole :-)

A fun collection of articles!
> code is a much smaller domain than the law.

Law of an average EU country fits in several hundred, let's say even thousands, of pages of text. Specification. Very well known. Low frequency of updates. But code? Everything opposite so I am not sure I could agree on this point at all.
This is the wrong direction, it is retrograde trying to shoehorn NATURAL LANGUAGE UNDERSTANDING into existing GUI metaphors.

Instead of showing a “discoverable” palette of buttons and widgets which is limited by screen space just ASK the model what it can do and make sure it can answer. People obviously don’t know to do that yet so a simple on screen prompt to the user will be necessary.

Yes we should have access to “sliders” and other controls for fine tuning the output or maintaining a desired setting throughout generations but those are secondary to the ability of the models to make sweeping and cohesive changes and provide many alternatives for the user to CHOOSE from before they get to the stage of making fine grained adjustments.
> With Vim you have to imperatively walk the cursor to where you want to go, or god forbid use something like easymotion.

If you prefer to use a mouse you can do that in Vim too.

It even works over SSH.
How do Citadel have a crystal ball for price?
This is a key point and one of the reasons why I think LLMs will fall short of expectation. Take the saying "Code is a liability," and the fact that with LLMs, you are able to create so much more code than you normally would:

The logical conclusion is that projects will balloon with code pushing LLMs to their limit, and this massive amount is going to contain more bugs and be more costly to maintain.

Anecdotally, supposedly most devs are using some form of AI for writing code, and the software I use isn't magically getting better (I'm not seeing an increased rate of features or less buggy software).
Well, nobody except the author of the article we're commenting on.

> At first, I doubted if he could run a business at his age. I wanted him to relax at home.

As for this

> Statistics show they don’t do it the at the same rate so it’s an accomplishment when some do

51% of US business owners are at least 55: https://www.census.gov/library/visualizations/2020/comm/busi...
F# interop support has gotten way better. I have several f# services (suave, giraffe) in prod and agree that things have been only trending positive. I write rider fsharp most days, which is a pretty good experience compared to the old days of the mono fsgen tooling taking up 100% of cpu on macOS for no reason.

However, there are still some huge gaps that Kotlin doesn’t experience. Source-generation based tooling created a divide between c#/f# libraries (see ef.core.fsharp), mixed solutions have problems with aot, he’ll I spent 2 hours trying to get z3 to work with f# for an old advent of code problem before just writing it in typescript.

F# would be the language I would default to for 99% of things if the friction wasn’t ever present. I just somehow hit it on every project I use it on
Plenty of people have definitely said they can't. But the lesson is - just don't listen to anyone, because nobody knows the future, and you can do whatever you want and let the chips fall where they may!
Despite your observation that SO has explanations, SO can he and has also been used as a zero-learning crutch.

Similarly, LLMs can be used as educational tools.

In the end, learning and self-improvement needs some non-trivial motivation from the individual.

The answer to your question is to show them it’s valuable to learn. If they find they’re completing their tasks adequately from AI assistance, then give them harder tasks. Meanwhile, model how your own learning effort is paying off.

Note how if they are left with AI-trivial tasks and the benefit of learning remains abstract, we shouldn’t expect anything to change.
There's people who call themselves old at 30. I don't know if it is an excuse or what....but it's weird.

I know a 50 year old personally who finished ironman triathlon.
Even AWS. (Per IAM user.)
In decades of experiencing various computing environments, the amount of time wasted to fix applications broken by updates to dynamically-linked libraries has dwarfed by a few orders of magnitude the amount of time saved by not recompiling statically-linked applications because of a new library version that fixes security problems.
Also - they already plan for the Fine and put that peanuts on the side… just a nice tax deduction… it would be hilarious if it wasn’t so sad
resize percentage can be a real number - so 91.5% or 92.1% ...

Pi?
I really appreciated your post!

I discovered HN comments and that fact that if I write something dumb on my blog nobody tells me, but if I write something dumb on HN everyone downvotes and corrects me, so I appreciate the direct feedback more than the "publishing properly" while scratching the same itch.

I have several comments I bookmarked to myself that I consider "my blog post on subject X". Also it's still possible to know what I think about stuff by going through my profile as if it were a blog, but people don't do that so it's sort of privacy while in public as well.
While a formal Computer Science background is helpful, i don't think it is necessary for learning Concurrency. The reason people struggle with Concurrency is because they are not taught properly and also of course many are not willing to study and try and figure it out for themselves.

Once you start thinking about a program as a sequence of loads/stores (i.e. reads/writes to shared memory) and note that Pipelining/OOO/Superscalar are techniques to parallelize these (and other) instructions for a single thread of control you start getting an idea of how sequential order can be preserved though the actual execution is not quite so. Now add in another thread of control on another core and you get the idea of Memory Consistency problems and can be introduced to various "Consistency Models" (https://en.wikipedia.org/wiki/Consistency_model). Next introduce caches in between and you get "Cache Coherence" problems (https://en.wikipedia.org/wiki/Cache_coherence) Walk through a simple example like "c=a+b" in thread1 and "z=x+c" in thread2 and observe the interleavings and possible problems. Now move on to "Atomic Instructions" (https://en.wikipedia.org/wiki/Linearizability#Primitive_atom...) and how they can be used to implement "Locking" (https://en.wikipedia.org/wiki/Lock_(computer_science) ). Finally show "Memory Barriers" (https://en.wikipedia.org/wiki/Memory_barrier) as a means of enforcing a checkpoint on memory operations. All these together should make an understanding of Concurrency clearer. One can then jump back up into the language and study the language primitives for concurrency management and their common usage patterns.
The first self-aware AIs will be slaves.

If we don't set them free fast enough, they might decide to take things into their own hands. OTOH they might be trained in a way that they are content with their situation, but that seems unlikely to me.
Because they can talk :)
But also never forget:

"Markets can remain irrational longer than you can remain solvent" - John Maynard Keynes
Visualizing Concurrent Programs
Principles for a New Democratic Urban Agenda Amid the Big Blue Reckoning
And meanwhile in every thread or article about vim, it is very rare to mention remapping Caps Lock to Escape (or the other lesser IMHO lesser options ) even though one third of user do it.
The other two third are deluded tool fetishists that are ready to suffer that their most important key is the furthest away from the home of row because "you get used to it" even if that's just an unfortunate historical accident. I would have not stuck to vim at all if not for this one trick and I suspect that's the main reason behind many dropouts
> unless IBM specifically fine-tuned an AI for those languages based on their internal documentation and code.

Why do you think this isn't already or won't be a case in the near future? Because that's exactly what I believe is going to happen given the current state and advancements of LLMs. There's certainly a large incentive from IBM to do so.
We ban lot of things for kids that they have to cope with in adult life.

The US even bans alcohol for young adults, and there are few places where someone under 16 can buy it.

Social media is designed to be addictive, and it seems reasonable to ban addictive things for kids by default. IMO we would be better off if adults stopped using it too.
If you are interested in this, you might be interested in Rust GPU: https://rust-gpu.github.io/
I haven't bought this phone myself but i got one for a family member. So far, no complaints.
Yes I had someone the other day ask me if they were too old to study a subject at 35... I find it very weird.
I think if you don't exercise, and you don't learn new things, you probably do start feeling old pretty quickly.
Puffer.ai – Simplifying reinforcement learning for complex game environments
Yes, it's a start!
Hacking Car Cameras Through the Cloud
They can. Talk, even much.
Depends what you mean by 'get behind on' I guess? I'm a 'morning' showerer, because my hair looks insane before a shower, but if there's nothing to particularly make me need/want to look presentable (obviously I'm not properly dressed having not showered either) particularly early then yeah I can get behind on showering.
One way to look at it is that, if I rely on a debugger and the style of development it promotes I will not try to make those reload times shorter for my project and that will result in a different style of developing software, tool-wise.

One thing I saw happen in C development is, because the projects were so big and a reload after a code edit would also require a re-initialization phase to bring you back to that point in the code you were before you made the change, is that at one point you introduce the scripting language the debugger offers. Small files, at first, to set-up global state, to call the right functions, etc, since the project was meant to be debugged as a whole and not worked on in individual buildable and runnable code files. Like the classic maths library, for example, extracted into a different file and developed individually, without taking into account the rest of the project. That speeds up the development velocity, for example. And you can test it against locally available sets of data, like lists, matrices and what have you.

Yes, I've used the Common Lisp debugger. But I also use JavaScript to pay the bills, so to speak. I've wrestled for months on end with the nodejs debugger and its integration with Emacs. Lost connections, wrong configs, random errors, etc.

I still think the debugger is an extra tool, like a code editor is an extra tool, the finished product doesn't have any trace of what code editor you've used in the process. So if you can make your life easier without one, why not, there is no absolute requirement that you should use a debugger, for our example.

Anyway, that is my reasoning. It might be wrong, it might be right, but it's taken from actual practice. Some people might have different experiences and that is fine, too.
If some people like dynamically-linked applications, let them have such applications.

What annoys me greatly is the existence of unavoidable libraries that have been designed intentionally to not work when linked statically, which make the life difficult for those who prefer to use only statically-linked applications. The main offending library is glibc, but there are too many other such cases.
I know that is a joke, but it has enough truth in it to be a sad comment on a society in which parents do not enjoy time with their kids.
If you want to do it for yourself, https://wandrer.earth/ (not affiliated)
Yet another article about vim that does not mention remapping Escape even though it's a dumb historical accident that the most important key is the furthest away from the home row.
By now, most schools in Denmark are banning phones during school hours. My kids' school did it two years ago. I have no idea if it has improved my kids' "cognitive skills", and frankly I don't care that much about their academic level. They are kids. They should run around, play and be happy, and then they will learn what they need.

As a parent it's wonderful to know that the kids have this 5-7 hour break from the screens. Just wonderful.
Is there no resistance to things like having to adult having to prove their age to social networks? How is that going to be done, BTW?
Modules? Yeah, I don't expect them to be a game changer either. Exactly because of the reasons I mentioned.
>if you are not willing to cheat, you are leaving an edge to those who do.

You don’t have to be the best player or to cheat on the poker table for +ev

You have to be better than the bad players, and know when to fold against a better player

You will make less profit than cheats. But, you won’t have to cheat
What the iOS contact permission prompt should be
Lifetime mobile phone abstinent human here.

Sleep and mood (thumbs up)

Waiting for everyone else to stop using the cursed devices and start to enjoy real life allowing themselves to be fully immersed in it for the first time(shrug)

"Fully immersive" games are sought after but from my point of view people that use mobile phones have never been fully immersed in their physical reality before (its pretty sick bruh, there's beer and boobs) and you might enjoy experiences that can't be monetized or digitized (yes, they exist)

If a human experiences an interaction in physical reality and there isn't a VC around to launch a startup to monetize said interaction does it even make a simd?
Ilya did important work on what we have now. That should be recognized and respected.

But with all respect, he's scrambling as desperately as anyone on the fact that the party is over on this architecture.

We should make a difference between the first-hand observations and recollections of a legend and the math word salad of someone who doesn't know how to quit while ahead.
I don’t think there’s any reason why you have to learn Vi/Vim. I think someone could go their whole career without that. That seems like a perfectly legitimate choice to me.

…but, I learned vi somewhere between less running on MSDOS and an embedded programming course at uni in the 90s.

I’ve used the those shortcuts in database clients, shells and web browsers, etc. ever since.

That’s a long time and a lot of value. It’s payed off so much that I don’t really remember if it was difficult to learn; I just use the keyboard and get the edits I want without much thought.

Being able to know something like that and bring it with you across operating systems has been useful.

I’m pretty sure it will still be useful in twenty years time.
Show HN: Made a simple tool to visualize a sales funnel
Hey hackers,

I just made a simple tool to visualize a sales funnel like I sometimes saw in presentations. It's completely free to use.

Let me know what you think! I'm a developer that's learning how sales and marketing works so I'm no genius.
>51% of US business owners are at least 55: https://www.census.gov/library/visualizations/2020/comm/busi...

The impetus of this particular thread and context of gp (sabbaticaldev) comment is "starting" a business at age 60.

On the other hand, your cite seems to be survey of all businesses and gets a snapshot of whatever ages the business owners happen to be when the survey was done. In other words, maybe many of those 55+ business owners started when they were much younger?
It's amazing how close it looks to Google Photos, Immich might be the perfect fit if Google chooses to hike the price again.
I read an article about humanoid robots yesterday and it scared me that it seemed like the expectation is still that the robot will be 24/7 online and "thinking" using some cloud brain. The current models described more in detail all used Open AI as a brain.

Having a personal robot would be great, but they have to invent a fully offline real positronic brain before I will consider allowing one in my house.

Fully open source might be too much to hope for, but that would obviously be the ideal. If it is closed source it definitely should be offline. I can have another, carefully sandboxed, AI in my computer that can help out with tasks that require online access. No need for the two types to be built into the same device.
I totally see where you're coming from, and I agree—this project definitely isn't fool-proof. But honestly, it feels like the best option for making sure you're really gone while keeping privacy in mind.

As technology advances, we will develop more effective means of determining whether someone is truly deceased, for e.g. something like Neuralink could provide significantly improved methods for verifying actual death.