skysight-inc/HackerNews huggingface dataset:
You seem to be implying these researchers are reinventing the wheel by making a syntax that isn't based on anything that's already implemented (like Haskell). That couldn't be further from it. The syntax is absolutely unimportant to a paper like this. Choosing to use curly braces is their version of naming a variable "foo". The goal is not to make a compiler that produces machine code or eventually gets a package manager, at all. They're not playing that game.

They are writing a type system, not a language. (Note the title.) They're attempting to write one that captures the very weak guarantees of concurrent systems, and this is actually really complicated, so research tends to start with a simple version of the new type system, and then steadily narrow the assumptions behind it over subsequent publications. The target is not machine code, but having a computer check your typing rules work and that you can write interesting proofs with it. The toy language only exists for this purpose. The same way a Haskell programmer might code until it compiles and then put it into production, a PL researcher codes until the Coq checker gets all the way through their proofs and then submits to the conference. And much the same way that you can implement a GHC extension to test an idea, Coq is an extremely feature-rich base to start building a type checker demo language and proof system. They are not wasting any time here.

The syntax they end up with is not meant to be used, it is meant to be the smallest possible language that demonstrates the theory in a machine-checkable way. If you want these features in a real language, take the OCaml type checker they wrote and go write it again for that new C++ frontend Circle or something, this time accounting for all the wild requirements that pop up in a real compiler.
> First, let’s take a look at how we got here.

> Open source eats the world (and needs some Tums)

> Early software was written by researchers and academics, and open by default—it couldn’t even be copyrighted until 1974. We didn’t even have the now-common phrase “open source” until Christine Peterson coined it in 1998. That same year, the OSI formed and established the aforementioned open source definition, which remains the yardstick by which openness is judged today.

I realise that this is intentionally a very highly-compressed version of history, but completely eliding the creation of the Free Software movement in the '80s, which Open Source grew out of (and specifically in reaction to), feels more like a bit of creative whitewashing than just a "well, we didn't have space to fit in everything" editing choice.

Or is that just me?
Ah, I think I misinterpreted what you meant by "nothing works anymore". I thought you were saying that no old Go projects were usable with new Go compilers. I believe you that this particular project may not work with the current toolchain.
At some size, a project grows beyond the scope of what one person can do.

Until then it’s possible that taking contributions is more work that the author doing it themselves.

In any case, extensive test coverage is a the only way I think you can take contributions for even a medium size project.

I have a o(10k) loc project that takes contributions. The contributions are more for community building than anything else. I evaluate pull requests based on code quality and if the tests pass - I don’t ever manually test it.

It’s a lot of work to do even just that when the project falls off my priority list.
I'm aware of the neck injuries, so the "some kind of helmet". When people hear about helmet usage in cars, people automatically picture in their heads drivers wearing F1-like helmets, or motorcycle-like helmets. But just like bike helmets are different from motorcycle helmets, car helmets would also be different, possibly lighter, to avoid neck injuries. Most law-abiding citizens aren't crashing over 200km/h to need massive helmets coupled to HANS devices like F1 racers.
On Device AI – Double Edged Sword
Some communities have a latest substantial author owns the page policy, along with a major edits only policy, which tends to work better for math and CS where there’s a lot of people who want to make micro corrections.

Technical communities also value professional credentials and prestige as a blockbuster, so it may be helpful to reveal your professional achievements.
How Firework Shells Create Different Shapes
Well, we have to be thankful that this probably hasn't yet been sucked up by AI. When it, and it's children are, things will start to go bad quickly.
Pro-tax type here, this quote is not accurate for me: “ pro-tax types don't believe [private entities] can use those resource more effectively than a government”

It’s not that they’re less effective, it’s that the public should get some say in how the money is used. I don’t want a small group of people single handedly deciding the “most effective” way for them to use their wealth, because it inevitably leads to whatever allows them to continue holding power.

I’d rather money be used less efficiently, but in the public’s interest, than in the interest of a few powerful people. No matter how philanthropic they appear.

I don’t trust the US govt much. But I trust them to spend money in a way that’s, say, 15% more democratic than the Koch brothers would. That’s good enough for me.
HN is new comer friendly in the sense that making an account is very low friction and the community culture does not discriminate against new users.

The community culture tends to discourage behaviors that are ubiquitous elsewhere on the internet and there is a correlation between new users and the ordinary internet behaviors the HN community tends to discourage.

The tendency of HN community culture to encourage things that are not ordinary behaviors on the internet is a way in which new users are often successful.

I think a healthy way to understand downvotes is as feedback on the quality of my writing. Maybe I wasn't clear. Maybe I was wrong. Maybe I was saying something stupid, useless, mean-spirited, etc. I think that view has improved my writing.

Your mileage may vary.
MIT Press: A Symbol with a Story
Kritai just launched it code generation tool.The tool boosts productivity while coding and you can generate code by selecting the programming language of your choice basedon user input
Full title is "The Woke University’s Servant Class".
BuildUI – Learn how to build modern user interfaces for the web
Show HN: Built the fastest way to validate business ideas
Whenever I ask them about remote companies they all say they don't have such customers, they all want people in the office.
Are African Greys sentient bird examples?
I don't recall the longest I have seen but some do give me a chuckle. A recent one was crackingthecodinginterview.com.

A little related story since you brought it up. A long while back I knew someone that ran a forum called ernieshouseofwhoopass or something like that but he could not type in his own domain name after drinking so he registered the acronym of it. Perhaps that should be a score on a domain name the drunk factor or tl;dv too long, didnt visit factor.
I assure you managers and executives are significantly more dishonest both in-office and remote.
https://jalammar.github.io/illustrated-stable-diffusion/
And again downvote? What's up? I just asked how to see it...
The money comes from spending the money.

It’s a simple geometric series that your average 15 year old can do.

You spend £100, that is taxed at 20%, leaving £80 to spend. That £80 is earned as income which is taxed at 20% leaving £64 to spend, and so on.

Like a stone skipping across a pond.

Robots have owners and maintainers. They eat food and live in houses like you and me.

Their choices are the same - spend or save.
Open enough to be scraped and remixed by CoPilot, apparently
Why It’s Impossible to Build a Crochet Machine [video]
murder doesn't?
Yep, several particle accelerator studies use it to model neutrino's.
Voyager also uses Golay codes which are pretty neat too. The original paper is just one page.

https://www.lama.univ-savoie.fr/pagesmembres/hyvernat/Enseig...
Programming Pearls: A Literate Program (1986) [pdf]
ChatGPT: Indirect Prompt Injection via YouTube Transcripts
> bubbles the worst, most salacious and panicked stories to the top.

I think there's a big difference between traditional newspapers and media. Traditional newspapers definitely have things wrong and are trying to sell subscriptions but "media" channels are the culprits with selling fear and hate.

NY Times Front Page
- Polls Close in Turkey as Erdogan Faces Tough Re-election Fight
- Want to Make your Mom Happy? Tell her she was right
- As Ukraine Makes Inroads in Bakhmut, Devastation Still Reigns
- He Told Followers To Starve To Meet Jesus. Why Did So Many Do It?

Washington Post Front Page
- Football bonded them. Its violence tore them apart.
- Erdogan’s fate in the balance as polls close in Turkey election
- Zelensky, in private, plots bold attacks inside Russia, leak shows
- 4 ways to reconnect with parenting joy and build a child’s emotional skills

Boston Globe Front Page
- Biden pleads for Congress to take steps to curb gun violence
- Power Shift: In less than a decade, the state’s electric grid must dramatically transform. It won’t be easy.
- Finally, a promising new class of drugs is making its way to Alzheimer’s patients
- Alleged leaker Jack Teixeira fixated on guns and envisioned ‘race war’

-------

CNN Front Page
- Russia may have just lost four aircraft in one day. What we know
- She always felt safe in San Francisco. But the streets are different now
- World’s oldest dog celebrates another birthday
- The rise of the Supreme Court’s ‘shadow docket’ and how it can impact every American

Fox News Front Page
- Marine veteran’s defense fund grows in just one day after being charged in subway chokehold death
- Gov. Newsom facing political predicament as reparations experiment backfires
- Police searching for gunman after 7 people reportedly shot in border city
- NBA star appears to pull the same social media stunt that got him suspended

MSNBC Front Page
- Happy mother's day to everyone — except Moms for Liberty
- George Santos’ flawed attempt to emulate Donald Trump
- This Eric Trump tweet yet again pushes a dangerous way of thinking
- James Harden's friendship with a mass shooting survivor isn't a feel-good story
https://kern.al/ does this too, but if you want to do it, just do it and draw inspiration!
Don’t Fear the Video CV
Has anyone here made a video CV?
Thanks for that insight. The part about not being able to do testing doesn't surprise me, it's to be expected.
I’m on your side as well. These arguments are rarely in good faith but when they are I think it’s possible to write a succinct answer.

Society is better when we do. That’s why we should.
Dutch has that distinction as well. Shows you not to trust ChatGPT.
It's a little awkward, but Cmd-Opt-Shift-V is "Paste and Match Style" aka "paste as plain text".
Well, I'm saying if you just followed the links on the submitted page, you'd reach the same conclusion but faster.
If It's Broke, Fix It
It will be a sad day when they change this logo.
I posted for two reasons.

I think the lifestyle is interesting. Many of us can probably relate to needing something “more” and the traditional things don't suit us.

Also, the previous discussions here were so focused on SF being out of control that I don't remember anyone suggesting it was targeted or personal.

Is it flagged because the headline seems to be speaking ill of the dead or something else?
Not being mean, but once you have a "taste" for how the written word is written, fonts start mattering a LOT.
Yes, that's true. Saturn's gravity is slowly pulling the particles in the ring. In a few million years, the rings will completely disappear.
Source -- StarTalk podcast (https://drpawd.com/search?query=are+saturn%27s+rings+falling...)
If the expense exceeds your business income, you may have a net loss for your business, which could potentially be used to offset other taxable income on your tax return.

as always it depends on the deduction and business and other things, but also the exception makes the rule. as in, once you find the exception, only do that.
Eigenvalues as the Magnitude of the Matrix
I think the only explanation I've heard for this is that seatbelts are too expensive to put on every seat in a bus. Interestingly, on mine sites the buses all have seatbelts and you're firmly instructed to put them on every time the bus starts moving.
If you cannot click two links in a browser under two minutes, I'm either sorry for you, or scared of you :)
Mesa 23.1 RadeonSI Enables Rusticl OpenCL Support
I assume this is counting api calls and crawlers, in which case it's actually kind of conceivable.
or like download oobabooga/text-generation-webui, any prequantized variant, and be done.
I thought the bit where knitting hadn't been invented yet was pretty illuminating on the dodecahedron hypothesis.
> Then how about hiring people in Canada

They all do. But good luck getting a bargain.

Canada is a smaller California (population-wise) stretched over 5 timezones.

Something you have to keep in mind is that there are two parallel markets over there: SV caliber developers and the rest. The former won't have any issue getting a job in the US (takes maybe a week for a talented engineer to get one). Therefore, comp has to be priced appropriately. The later can't -and likely won't ever be able to- secure a US visa, mostly due to skills (there's a reason they immigrated to Canada, it's way easier and the quotas are close to 10x per capita compared to the US). Some companies leverage this and have floors of international devs they park in Canada for a fraction of their US counterpart through a subsidiary.

> Finland

The country is a little bit smaller, population-wise, than Minnesota. Great education system, but only produces so many engineers.
Have you seen what a schools in the intercity in the US look like these days?

I think you need to be more incredulous with obvious CIA propaganda.
I really wouldn't be surprised to learn that 46% was just Bing's crawler...
https://www.elgaronline.com/display/book/9781802208092/97818...

Chapter 1 goes through the monetary accounting

Chapter 9 goes through the tax process.
I remember reading something to the effect that mandatory motorcycle-style helmets for all car passengers would significantly reduce the road toll but the inconvenience made it too difficult to implement.
If it can’t be measured does it matter ?
Node literally implemented every Demo complaint except TS which was easy enough. It's part of why Debi is still without significant market share.
It matters because the memo as being portrayed as 'the opinion of Google' by websites looking for clicks.

The opinion is as relevant or not as any opinion expressed on Hacker News, the fact that the person who expressed it works for Google is irrelevant.
> And there are dozens of these languages

No, there are way, way more than that.
Model Legal Documents – National Venture Capital Association
It's definitely a challenge for many if not most people to receive constructive feedback, but my observation has also been that few places are actually good at putting such feedback in a context that actually feels constructive and intended to improve outcomes. Even the most well-intentioned feedback feels negative when it appears to suggest individual level improvement is the solution to larger issues. And my observation has been that many problems in organizations are about more than individual need for improvement.

A fairly common example I like that you've probably heard before is variations on the story of a junior engineer accidentally dropping a production database. Any feedback to that junior engineer about what they need to improve on to avoid doing that in the future is going to feel like blame no matter how it's given since the underlying causes of the problem are at least as much organizational ones.
Free Software as explicitly anti-corporate is not something Microsoft likes to remind itself of.
Or you could just use iTerm and ignore the built-in app (do you try to use TextEdit to edit code as well?)
Be kind, rewind. Your take is unnecessarily harsh.
C++ to Rust is not a similar jump as assembly to C++.

Qt may be the best toolkit so far. If Rust is going to let us make a big jump, I can’t wait to see that happen. What are the best contenders so far?
Both increasing the amount of parameters and the amount of training tokens improves results (more precisely: lowers training loss), and costs computing power. For optimally improving loss per training computing power, model size and training tokens should be increased equally. That's the Chinchilla scaling law. (Though low loss is not always the same as good results, the data quality also matters.)

Further reading: https://dynomight.net/scaling/
I understand that this discussion can become frustrating, especially when you see repetitive patterns in the discourse or feel like the nuances are not being sufficiently addressed. However, there are a few points I would like to clarify:

Semantics in word embeddings: While I agree that word embeddings cannot fully capture human-like semantic understanding, they do provide a mathematical representation that has proven useful in many NLP tasks. It's not that word embeddings "understand" semantics in the human sense, but they do capture certain aspects of meaning that are statistically derived from their use in the training corpus. This is not an unsubstantiated claim. It is empirically demonstrated in numerous tasks where semantic understanding is beneficial, like semantic similarity, word analogy, and other downstream tasks such as translation, sentiment analysis, text classification, etc.

Your point about BERT overfitting to statistical regularities of the dataset is well taken. Indeed, it exposes the limitations of the model and the need for careful design and evaluation of benchmarks. However, it's worth noting that a failure in one specific test doesn't invalidate the successes in other tasks. It simply highlights an area that needs improvement.

It's true that there's a flood of papers and not all of them have substantial novelty or impact. This is not a problem exclusive to deep learning or AI, but a broader issue in academia and scientific publishing. However, amidst the noise, there's also a lot of valuable work being done, with genuine advancements and novel approaches.

You mentioned that connectionists only improve their systems when someone rubs their face in it. This is essentially how scientific progress happens - through skepticism, criticism, and the relentless pursuit of truth. I would argue that the current era of deep learning research is no different. It's a messy, iterative process, with steps forward, backward, and sideways.

Furthermore, I believe it's crucial to remember that there's room for both connectionist and symbolic approaches in AI. It's not necessarily a matter of one being 'right' and the other 'wrong.' Rather, they offer different perspectives and techniques that can be valuable in different contexts. Connectionist models, like the neural networks we've been discussing, are incredibly effective at tasks like pattern recognition and prediction, especially when dealing with large, high-dimensional datasets. On the other hand, symbolic models are excellent at representing explicit knowledge and reasoning logically, making them useful for tasks that require a high degree of interpretability or strict adherence to predefined rules. The future of AI likely involves finding ways to integrate these two approaches, leveraging the strengths of each to overcome their respective limitations. The field is vast and diverse, and there's plenty of room for different methods and viewpoints.

PS: I understand where you're coming from. Sometimes I need a break from this too. Remember there is no malicious intent here when people are just sharing their views.
Forget Cambridge Analytica – Here’s how AI could threaten elections
OWASP top 10 API security vulnerabilities explained
From the bits of Rust code I've seen, it seems like while memory management isn't exactly manual, it needs to be given a fair amount of thought, what with borrow semantics and such. When writing Swift I very infrequently have to give it any thought at all, beyond avoiding retain cycles (which is usually as simple as using weak references to self in closures).
Cool to see a conversation-style section

1980s AI-chat emulation technology: just print the chat history on a book

But seriously, conversation style feels a lot more natural sometimes than just reading a wall of text and trying to decipher its meaning
Given the author's peculiar name, I was ready for a truly surprising epiphany.
Well, consider some of the political disagreements we've had in the last decade or so, we have ample evidence that two different people can look at the exact same thing and arrive at opposite conclusions.
I'm surprised so many people choose to believe half the things Elon Musk says too, but this is where we are.
An improved visual identity usually leads to much better brand recognition and sales.
Needs LuaTeX to create. I look forward to learning some TeX typesetting tricks from this.
For working on remote machines, I need 3 things:

* show multiple terminals on screen. The best solution is to use a tiling window manager. Both MacOS and Windows have limited windows tiling capabilities.
* run long term TUI applications (like editors). The best solution is mosh.
* run long term CLI applications (like shells). The best solution is dtach.

tmux helps all 3, but not particular good at either.
No one is disregarding any evidence here.
The Z8 might be the best camera Nikon ever made, but I don’t think I’ll buy one
I agree we should tread carefully regarding feature creep, but it's already very common to display graphical data in the terminal with ASCII art or Unicode. Adding basic bitmaps would remove the need for those hacks.

Convenient terminal tools already exist for viewing formatted text like Markdown or HTML, or viewing binary data like ELF files, or showing live dashboards like htop... but images still require launching a separate application. And this is all data that you might produce while working solely within the terminal--only to have to visit GUI land to see what's in a PNG file. It's a pretty obvious gap.
There's actually a bunch of features in the VB library that aren't in C# out of the box that make building stuff with VB a bit faster.
Speedtest shows loaded latency information now too. Agreed, sometimes latency is more important than max bandwidth
Chinese warships sail around Japan as tensions rise ahead of G7 summit