skysight-inc/HackerNews huggingface dataset:
I am not sure what you mean by the scientific method. The scientific method can be as simple as trial-and-error or observation, such as the idea that maybe you shouldn't eat a certain berry if you just watched someone eat one right before they passed out and started foaming at the mouth. Animals without highly developed language do this all the time.

There is no doubt that writing out or sounding out your reasoning can boost your ability to think and communicate. For example, it can promote a dialectic which can refine your ideas, and you can even have an inner dialogue using language. It can also help you form a representation of the thought process for communication.

But it can also muddle your thinking or leave you with blind spots if the language is not expressive enough or you rely on it too much. You do not need a linguistic representation of a concept in order to reason about it (well, I don't seem to and I doubt I'm special in that regard).

Just because an internally consistent language may be sufficient for basic reasoning doesn't mean it's necessary overall, or that it doesn't place a 'ceiling' on the types of thoughts you can think. I would argue that it cuts both ways.

It is definitely interesting that you seemingly get reasoning "for free" when you only optimize for language (e.g. large language models). But that is the way it would be if grammar was a more formal descendant of logic.

Maybe this is why authentic geniuses, or people capable of coming up with ideas not commonly in circulation, often have a hard time explaining their ideas (see https://kottke.org/13/05/the-three-types-of-specialist)
Much complexity can come from trying to allow for future extension points. I believe a developer trying to second guess where the domain expert sees an app being extended is futile. Requirements always seem to change down the track in ways the original developers did not anticipate, So simple ends up being better.
Great idea! Does anyone know what the current state of brainwave navigation is? I saw a flurry of investment in new startups over the last 5 years but it's all gone a bit quiet
Dorks.
I wish the headline said that: "methane not as bad as thought, still very harmful".
This sounds amazing for accessibility - for anyone more familiar than I am, is this true? Or are there major drawbacks?
I don’t know if they actually changed this but the Windows 10 Start Menu is a fragile bricolage of applets and plugins that breaks all the time which is just not suitable for such an important part.

I’d throw it out and rebuild it to make it reliable and defensive against broken applets.
> they could certainly used 0-<page number> for that

Hello, fellow programmer. A fine day for zero-based indexing, isn't it?
Due to Rice theorem any interesting property of computer program can be solved by solving the halting problem.
Thanks! I had completely missed that development. TIL
Such a simple, feasible, and useful idea. I'm surprised this hasn't been a thing for a decade already.
I think the main purpose was more “look, Minecraft can be compiled to JS, isn’t that interesting? You can play it on a Chromebook more easily now” than “get free Minecraft without paying here”

It does violate copyright but I don’t think that’s the main purpose of it

Maybe if they worked out a way to patch and compile the game in the browser from an uploaded JAR file it would be OK
Never Combine and Only Combine when Full. Two missing features that were literally keeping me from upgrading to 11.
Does anyone else think it resembles Halley's Comet (Taito, 1986) [https://www.arcade-museum.com/game_detail.php?game_id=8064]?
Sure, and sky still saturate the viewer with adverts

Last time I checked the Annual Report, sky's revenue was something like 90% subscription, 10% adverts.
An hypothesis is that in the latent space there is something like a branching factor that can be used in context learning to select the main tree for others layers. So a LLM is able to have the knowledge of many specialized smallers LLM and select the appropriate one by way of giving values to the branching factor. The branching factor could be some combination of attention layers operating in the latent space of previous layers.
Completely agree. Generally look forward to checking my feed for podcasts and science videos. I actually don’t even watch videos so much as listening to most of them while working. Pretty much replaced every other platform for music and videocontent for me personally
I guess the personal Orange and corporate Polkomtel eSIMs I have in my iPhone are fake.
I have always felt that making software "scalable" is just an excuse for not making software performant. I would prefer people attempting the latter first.
Awesome! Let's pay Apple tens of billions of dollars per year so that we're basically back to Softpedia.
Don't apologize to that type of comments, your project is cool and fun! If you felt it deserved to exist, that's enough of a good reason :)

I like your project page BTW, nicely structured and look nerdy <3
You might have meant this in jest but considering some of our human to human communication is already like that, I think this is 100% prophetic.
Real question: have you ever sent money to a third world country? Because I have, both using traditional means and using crypto. And using Wise has been _so much_ easier (5 minutes and money goes from your bank account to their mobile banking account) than figuring out binance's bullshit, and finding a buyer at the other end for the sent cryptocurrency, especially after the "leveraged trading" aka gambling market imploded.

Sorry, your bullshit "but muh African finance!" would have probably worked for less world-aware folks. But not today.

I hope you really are a person deluded by crypto pumper propaganda rather than an intentionally evil pump-and-dumper, and in that case, please take the above anecdote as a real counterpoint to the hopium you've been fed by other pumpers.
Cool! I'm in my late 40s and it feels like I'm only more into gaming now. In the 80s gaming was pretty boring, games with low graphics, lie complexity and no story.

These days they're almost interactive movies and I love VR in particular. It's just so amazing.

I still see a lot of judgement from more boring people my age though. I mainly hang out with makerspace people and they understand and sometimes even work in the gaming industry. But my old boss used to roll her eyes at us when we were talking about gaming. She was this ultra ambitious pantsuit type though, big family etc. Those people tend to just not understand though they'll happily binge Netflix.
I wish though it would surface videos in my watch later in the recommendations page. As it is "watch later" is where videos go to get forgotten about.
Thumb-Key: A privacy-conscious Android keyboard, made for your thumbs
Experience in getting it wrong a whole bunch in the past, though you'll probably get something wrong this time too.

It helps to know how far you can get with various approaches. Knowing that sqlite actually manages just fine for things up to X or where the reasonable edges are for using (say) a db for tasks rather than rabbitmq. Then some experience swapping things over. Been on a project upgrading from sqlite to postgres? Postgres on a single node to something larger? You'll have a better idea of how easy or hard these things are. Sometimes it's small things, like going with sqlite but being aware of the differences so that later the migration path is easier.

You can also sketch out architectures, and see what does or doesn't change if you swap out a component/step. I'm probably going to have something do a basic iteration for comparing vectors right now because

1. I know the scale I'm at means that it's going to be near instantaneous

2. For a larger problem I know I can keep the same interface (find closest X) and swap in various other tools I know exist

3. Adding those tools should be possible but due to some constraints probably at least some hassle

So I have a simple quick solution, but know how to change it later. I also have identified why I'm not going for the "proper" solution straight away, what the benefit is.

However, I'm going to keep the interface as "find closest to string X" not "find closest to vector X" because I've seen the issues that arise when multiple different things care about exactly how the vector is constructed. I've been through that kind of thing which dramatically slowed deployment of updated systems. Perhaps in those other cases it wasn't particularly avoidable but the problem feels like it has the same shape (hard to describe but problems and solutions feel like they have shapes to me, I hope that makes sense regardless of how you picture them).

These are some pretty small examples I know, but hopefully useful as approaches that can be communicated without a large background in a specific project.

My main point is where I started - experience making these mistakes. I am quite aware of deadlocks because there's nothing that teaches the lesson about lock ordering quite as well as seeing a robot freeze mid-task in a demo. When mentoring, people seem surprised when I solve some of their problems immediately, it's not because I have quickly solved it from first principles but because I remember making the exact same mistake 10 times.
200 searches a month and then having to pay extra per search is a hilariously bad offering.

This isn’t 2008 mobile contracts, I don’t want usage caps for basic functionality.
As the post says, there is compiler option, StrictData. You can turn it on per file/module or for the whole project. Unless you know what you're doing (or are doing homework problems in algorithms and data structures), you probably want it on.

It interacts just fine – the extension (like !'s) just governs the constructors defined in the modules where you've turned it on. AFAIK there's no Haskell extension which can change the strictness of imported constructors. E.g. basic lists are lazy, so in your (StrictData) module with `data StrictInt = MkStrictInt Int` you can make a lazy value `x = (MkStrictInt 1) : x` of type `[StrictInt]` which uses strict constructors inside it (lazy spine, strict leaves).
If you get swamped like this it's a good idea to switch to your Subscriptions list instead and watch some of the things you want to remind it you like.
The PSIO flashcart made by Cybdyn is full of funny encryption code, and can easily be cracked.
I tried this over the weekend, different temperatures worked better for different teas which is frustrating, also I found the best tea was to prepare two pots, one boiled and one on the cooler side of lukewarm and then mix together the results, favouring slightly the cooler prepared tea.
> Back in 1920 all you could do was a collector plate with brushes.

And these are still more efficient than most combustion engines *today*, that's exactly my point.
Do you plan to make a post about your flute-making? Most interested.
"These days, isn't the average gamer a middle aged woman playing Candy Crush ?" is a favorite phrase of mine when I feel that some people are taking the conversation in a direction that is way too identitarian / cliché.
I’ve learned the biggest trap of all is “tell me what you’re really thinking thinking “.
Unfortunely I can assure you than in 2023 there are plenty of code bases that don't care about RAII classes for automatic memory management in C++.

Modern C++ is still pretty much a niche in the C++ universe, and what makes it so quixotic to push security programming practices to many C++ developers.

Orthodox C++ even exists as a counter movement.
(from that project's README:)

> AI art is democratizing art and letting hundred of millions of people express themselves through art. Making art much more prevalent and unique

My contemporary art major friend blows a vein every time they read something like this. It's clear what it tries to say, but that's not art. It's fancy pictures. Which isn't to say it's somehow wrong, or doesn't allow people to express themselves — but if your creative input is limited to some AI prompt, then the art, if anything, is the prompt itself.

(And, just to be clear, the definition of "art" here isn't "you have to paint something yourself". It's "you have to perform a creative action yourself". It's fine if that action is just instructions — that's why the prompt could be art.)
> "everything I don't understand is a scam"

Ah, the classic "Few understand" attack of the buttcoin pumpers. I fear this may be hopeless, but for anyone else following this thread, I've worked at a DeFi startup during the now famed DeFi summer, and resigned soon after the company narrowly escaped the Terra Luna meltdown despite my repeated warnings.

So I understand the nature of this scam very well, probably better than the shiller above.
My first impression was What the actual F**, but after watching the video I'm so blown away and impressed by how this can make people's life better. it's really exciting.
"The study found that 45% of people 50-plus are gamers."

This made me doubt the validity of the study.

Of course there are lots of older gamers, as consoles became popular in the 1980s and PC gaming in the 1990s; but these numbers are bunk.

...

Oh. The bottom of the article says: "AARP Research used NORC’s Foresight 50-plus Panel to survey a nationally representative sample of U.S. adults ages 40-plus who own a gaming-eligible device and play video games on that device at least once a month."

so maybe 45% of _those_ are gamers?
Nice idea! Is it using nRF52832 or smth similar?
Well, you haven't watched the video, right?
Switched the algorithm off years ago. It's rare I even look at YT.
Author here, thanks for sharing!

This is a strategy I’ve used across many projects in several languages, from big Rails apps to the Go monolith we deploy at incident.io today.

It’s just one way you can make a monolith much more robust without moving into separate services, which helps you keep the benefits of a monolithic application for longer.

Hope people find it interesting.
What’s the state of the art in subvocalization. I would love to have that as a voice input option.
Kagi are very open about their policy to submit feedback, bugs, and feature requests at https://kagifeedback.org/. I've not submitted anything Kagi Search, but I've submitted a few features and performance issues/bugs to their Orion feedback. I got replies from Vlad and Kagi employees within 12 hours. Feel free to suggest this as feedback I'd say...
I am not sure about wars, but there will always be a backlash as the margin for human "exceptionalism" gets tighter.
> GPT-4 recently extended that to 32,000 tokens

Slightly unrelated, but has anyone outside of OpenAI got access to this model yet? While I received API access to GPT4 just a day or two after applying for it, I've yet to succeed to get access to the 32k version, nor has anyone I know, and I have not seen it being used by anyone in the wild either.
Because they cannot use a regular mouse/trackpad? Be it for not having functioning hands or using them for something else.
> An OS should be providing higher-level data management, and insisting that is what is used.

This assertion seems normative. Could you please expand upon how higher-level data management improve the overall performance and efficiency of the system? Or could you point me in the direction of some good sources? Also what are the benefits of an OS providing higher-level data management instead of relying on lower-level data management solutions? Doesn't abstraction lead to less fine control? That is to say, how does insisting on using higher-level data management provided by an OS affect the development and maintenance of applications? I've seen some object-centric systems adopt this approach and find it very interesting.
This is factually incorrect. The ad was posted on April 1, a Saturday. On the last open stock day, the stock was at $66.73. After the ad, it started to slip. When news stories broke on April 4, it dropped from $66.34 to $63.38. Since then, it has climbed to $65.52.

It's undeniable that the stock is still down.

With that said, it's less than what some people seem to think. But it's also just a stock value which is based on speculation. The important sales figures will be visible far later. Bud seems to take it seriously by replacing the people in charge and doing a terrible ad targeting "patriots".
https://www.researchgate.net/publication/221517055_An_Isomet...
Aha, 2770kg for a jcb bobcat and roughly 550kg for a battery pack. Let me guess - on a trailer? What would towing that do to the range on the first battery pack? Or are you being sarcastic?
PaperCut Servers Vulnerable to Ongoing Exploitation by Suspected Russian Hackers
Coming here to say this too. Having each window correspond to a button on the task bar is crucial for my workflow as I use individual windows as one layer of grouping for the eventual tabs in those windows.

(Not supporting ungrouped one-click dock access to individual windows is one of the reasons I dislike using Mac OS...)

I was massively disappointed that Win 11 removed this as it made it so annoying to only have individual window access after hove. Actually turned off the TPM on my PC to prevent Windows update from pulling another one of those "forced upgrades" like they did for win10. Perhaps when this is out I will finally be OK with "upgrading" (hopefully the first-party ads also continue to be disable-able, that is)
just think a little outside yourself and you'll get there.
>/can of come

You can buy it in cans now?
Totally agreed, but still, finder's fees sometimes work that way – because the actual amount truly paid is considered the least-fakable proxy-signal of value delivered.

Similarly, utility-style government regulation often caps profits (or profit-like 'overhead' like salaries) as a percentage of expenditures. This creates an incentive for doing things in an expensive manner. It's kinda dumb, and has been understood as a problem driving excessive costs in regulated industries for many decades.

But the same thing was written into 2010's ACA ("Obamacare") as an "80/20 rule": insurers must pay out 80% of what they take in on certain preferred health expenditures, like medical procedures. So, the only legal way to grow the absolute size of the 20% an insurer must use for 'overhead' (including administrative salaries & profits) is to increase the totals paid for health services. That is, insurer management/shareholders can benefit when hospitals/providers charge them more.

If the federal government habitually makes this mistake, can we blame Hsieh?
JetBrains Released Qodana 2023.1
That would be a game changer, if feasible. I used to wonder why no one tried building a transceiver that picked up speech vibrations from skull perhaps through the ear cavity.
"Every year, around the world, between 250,000 and 500,000 people suffer a spinal cord injury."

There's a clue that starts at 0:00 in the video.
You say Bitcoin is real money because it is limited in supply (artificially since it's essentially a variable defined in the code) so that makes it deflationary. Anything deflationary in nature can't be money. I won't explain basic economics to you. Go find out why. But then you act like Bitcoin is a security, a speculative asset because it's value will only go up in future (again thanks to limited supply).

Real cash is something that you can buy real goods and services with. Something that I can pay my bills with. You guys have a problem with central governments seemingly creating money out of thin air because you think it devalues your money. Your whole concept of money is wrong. You confuse money (a medium of exchange/short term store of value) with security (long term storage of value).

You know what gives money any value even if it is printed out of thin air? Trust. I trust that I can exchange that money for food, for a house, for clothes, a movie ticket, anything that I want. Where does that trust come from? That trust comes from the stability of the government, the law and order systems, the ability of the sovereign to protect its land and people with those guns and tanks. What gives Bitcoin a value? Nothing. If I cannot find a bigger fool to sell my Bitcoin, it's worthless.

Bitcoin is neither money (deflationary), nor a security (no inherent utility). This is plain truth. Other than a handful of crypto suckers everyone understands it. Hope you get this simple truth one day.
Why would we fight wars over whether specific animals are sapient? We have no trouble killing, imprisoning and torturing humans. Sapience is a philosophical distinction, not a practical one.
That’s actually correct but an overfitted definition for learning. It holds certain hidden assumptions (i.e physical grounding) of the learner being human which makes it inapplicable to an LLM. As in a self driving car which passes a driving exam but fails to drive effectively freely in the city (it’s not an LLM but relevant in this context). You have to admit when you work with this tech that something fundamental is missing in how they perform.
Java was released in 1995. I wonder if you have ever updated any software that came out before then? Surely you don't update your OS. Windows/Linux/Mac all came out before 1995, and must surely be "solved" by now. In fact you probably still use Windows 95. Surely Windows 98 or any later version can't be any better?

What's crazy to me is the sort of cognitive dissonance that you must have to hold a view like that, and still apply software updates at all.
It seems pretty nifty.

I played around with Tobii eye-tracking hardware half a decade ago and was pretty amazed by its precision. I understand now it also has Glasses (vs. the model I tried, a tracker you put below your monitor usually). Marrying eye-tracking glasses with this mouthpad might be a winning combination: eye-tracking being the mouse to navigate in xy-space, and mouthpad for clicks.

Kudos to this group for putting out a finished product though, can't wait to see it used and iterated more out in the field.
So, that may not be what you are talking about when you 'talk about studying linguistics' but - and this is in a way very funny because it is exactly the point of this whole discussion and yet we seem to have a misunderstanding right there - it is what other people will interpret when they say that you should 'study linguistics'. Maybe not to the point where you'd get a degree in it but even as an extra field during your high school studies.

And in my experience your CS degree example simply fails: CS does not prepare you at all for dealing with the various programming languages and their implementations of various concepts. The parts of CS that would apply to that bit you can pick up in a few weeks by reading some books and even then you're going to be dealing with implementation details most of the time by the time you want to apply that knowledge.

If you understand variables, assignment, control structures (if, for, while, pattern matching etc) and abstraction mechanisms (subroutines, functions) then you've got the bulk of it. But it isn't going to help you more than a little bit in tackling a mid sized Java, Rails or C++ project.

If you were going to design a new programming language or write a compiler for an existing one then it may well help, and also if you are going to be working on novel data structures or to try to improve what's already there.

Being a linguist or studying linguistics may well help me to read works in dead languages or maybe to analyze other people's writings. Because that's the kind of stuff that I see the linguists around me do that seems to actually use their skills.

If there would be a single bit of advice that I could give to someone that intends to study multiple languages then it would probably be: take a year or two of Latin. Even though it is a dead language that little bit of foundation will help you gain a much easier entrance into other languages all over Europe (if those are the languages you intend to learn).

If you are going to study in language areas outside of that region, say Asia then I have no idea what would help other than to move there an immerse yourself for a couple of years.