skysight-inc/HackerNews huggingface dataset:
There are plans to add namespaces AFIK, they are just quite early stage.

Through for a long time (part of rust developers) haven't been very happy with the idea. a stuff like `abcde/bar` vs. `abcbe/bar` are a total pain. But there where two points which pushed things in the direction of having them. 1) Differentiating between 1st and 3rd party extensions of a project (e.g. is actix-XXXX "blessed" by actix or not) 2) companies want this for a bunch of reasons.
I would guess that Ruby and Python programmers generally know at least some c, c++ and maybe even objective-c. That was the case where I worked. It is also normal enough to install gems with native extensions, if you can’t read gcc or clang compiler errors you won’t get very far.
You easily could. Format is available.

What I found is such tools barely work because what makes Excel so sticky is ability for end user to change that logic. X + Y = Z. Well, Click Clack and Z -Y = F

That's just so difficult to handle in a way that isn't "Just use Excel"
From the FAQ: "synthesizer support - all midi messages & all 16 midi channels are recorded".

Since most sustain pedals come through as a CC message I think it's supported.
Previous discussion:

Algorithms we develop software by (18.08.2024)

https://news.ycombinator.com/item?id=41284409
Just downvote and move on. They love interaction.
and a version control called Git. The old tech world was many things, but "politically correct" is far down that list.

I'll be fair and note that Assimp pre-dated the modern vernacular of the obvious word that comes to mind and was actually reasonable (Open ASSet IMPort Libray).
That's a fantastic project! Thank you for enabling training the model directly in the browser!

I have previously been impressed by https://github.com/0hq/WebGPT. Now, your project has rekindled hopes for a pure-JS GPT-like model.

Keep it up!
Reexamination of 1975 "Edmund Fitzgerald" Storm Using Today's Technology [pdf]
It's completely standard practice now, but since when? It didn't start this way because open source projects didn't used to be so big that they had foundations and trademarks.

Furthermore, I think there's a bit of nuance that people continue to miss: I'm not referring to having trademark rules. I am familiar with Linux and Mozilla, arguably the earliest "open source" organizations to deal with trademarks and have trademark policies.

What I'm referring to more specifically is what Go and Rust are doing for events: they seem to be applying additional rules for events that use the trademark in a way that does not imply affiliation. I think this is something that has not generally been the case for open source trademarks.
Large private entities are basically like government agencies, or at least utilities.
Given the uptake of FastAPI and FastHTML, is there any plans for these on top of Flask?
"The Music of the Primes" by Marcus du Sautoy (2003), has a great section on the work of of Paul Erdòs. eg

> "Erdòs, like so many great mathematicians, was lucky to have a father who could expose him to ideas that would stimulate his passion for numbers. On one occasion his father had shown Erdòs Euclid's proof that there were infinitely many prime numbers. But Erdòs was fascinated when his father twisted Euclid's argument to prove that you could find stretches of numbers of arbitrary length where there were no primes."

(for a stretch of 100 consecutive numbers with no primes, generate n = factorial(101) and then there will be no primes in range(n + 2, n + 102)).
Thanks for the tips! I had thought there were still some other gotchas with AOT and F# but it looks like the list is smaller than last time I looked. https://github.com/dotnet/fsharp/issues/13398
Which is a pretty pickle when you’re trying to hire devs. A candidate with a large GitHub repo may actually not be the team player you’re looking for.
Never noticed anything odd using in in linux.
Oh nice to learn that. I knew a less formal version in my country which we call "the fat virgin fallacy" which is when you denounce a fallacy in a somewhat informal less strict conversation. Made popular because libertarian argie president liked to tweet and denounce fallacies like so.
F# has chosen this approach of implementing compatibility with newer C# features such as support for ValueTuple<T> and Span<T>. It has been pretty successful at keeping F# inside the compatibility story.

---EDIT---

Mean to post this under the GP
QA Contest with Live API Testing
We're hosting an online hackathon focused on QA and bug hunting. Participants will test a production-grade API to identify deliberately planted issues.
> I realized that continuous string instruments (guitar) that have things like slides, bends are quite difficult to capture in MIDI.

It's just pitch bend?

I think trying to transcribe as MIDI is just a fundamentally flawed approach that has too many (well known) pitfalls to be useful.

A trained human can listen to a piece and transcribe it in seconds, but programming it as MIDI could take minutes/hours. If you're not trying to replicate how humans learn by ear, you're probably approaching this wrong.
Just Wait a Week
I respect this approach.

I hope it reduces the mismatches of salary expectations in your hiring process. Less drama for everyone.

I would never apply, but that’s fine. I’m not a landscaper.
I know it's a joke. But he just named the phenomenon, not discredited the whole argument.

Edit: so you commited a faux meta fallacy
https://web.archive.org/web/19980214123619/https://lunaremba...

Still alive, kicking and making millions
I'm not sure their TOS would protect them.

Say someone posts things on Twitter calling for violence against some group, and members of that group get harassed or attacked and they sue the poster and they sue Twitter.

All they need to do is choose plaintiffs who have not agreed to Twitter's TOS.
Having a written, easily found, trademark policy is actually nice. Especially when it's reasonable.

There's plenty of drama around, but I don't really see this kind of trademark policy sparking much. But, maybe I misunderestimate the drama seekers.
Hemingway said once that the trick to getting writing done was to stop writing when you know what happens next.

Other writers have talked about being compelled to write to get an idea out of their head that’s stuck there. I think they’re much the same thing. You’re essentially leaving yourself in that obsessed state until you can sit down again.

If you try to sit down with just a long term goal in mind you’re torturing yourself. And likely creating negative reinforcement of future stuckness. Write the bit in front of you, pause when you have an idea what’s next, not when you run out of steam.
> All this does is continue to kill any US believers in China and maybe rest of world that US is friendly and benevolent, that there is free trade, collaboration of commerce.

The collaboration was clearly being abused by the hostile neighboring nations that continue to threaten their sovereignty to the same effect as your argument though. It's unacceptable to wager an economic future in a climate that permits and turns a blind eye to the continued threatened safety of an independent nation that stems from an ignorant view on geographic entitlement. That is to say, other interested parties are learning an entirely different lesson from this exercise.
From wikipedia:

>The World Wide Web Consortium (W3C) is the main international standards organization for the World Wide Web.

>The Internet Engineering Task Force (IETF) is a standards organization for the Internet and is responsible for the technical standards that make up the Internet protocol suite (TCP/IP).

I would also add IEEE to this list. I think it's pretty clear these groups are international standards organizations, it think it's pretty odd that OpenID Connect wasn't circulated as an RFC and they went the ISO route.
Do you mean their Automotive OS, not just Android Auto?
Humanity's Last Exam Dataset Collection Site
Nope, at least some of sites are current WP Engine ones.
Couldn’t have picked a worse example. I can literally plug a USB stick into the iPad I’m typing on and export my photos directly onto it.
Came to say exactly that, similar vibe
Telewer Now Supports XAI
I'm in this world, few companies are doing GUI apps at all these days. Most have long converted to Web Apps.

Since it's pretty tiny minority of .Net users use F#, I'm sure someone somewhere is using F# for GUI but it's going to be tiny shop somewhere.
Yeah, the company can tell the candidate the salary they will pay for someone in the role. If that doesn't match the candidate's needs then the process stops. If the candidate's performance during the interviews shows they can't function effectively in the role, the process stops.
We are getting super close to a legitimate usage of the word antidisestablishmentarianism
> It's an interesting problem because we do see innovation from private companies (tech, scaling, UX, etc) that I don't think we'd see in a publicly/government-owned platform.

I mean, would you need half of that scaling if not for the demands of surveillance capitalism? How much of Google's tech stack is built around, for example, delivering email, and how much of Google's tech stack is built around harvesting user data for Adsense? I'm sure gmail runs on something that would be as far from a standard email server as anything I could imagine, but I feel like there's a natural ceiling in terms of the sheer amount of compute you could reasonably bring to bear to accomplish the task of mail transfer, whereas I could easily see the demands of running intensive, page-by-page analytics on a variety of websites and apps all at the same time easily demanding an absolutely stressful amount of server traffic and compute, let alone the delivery of the ads after that work is finished.

And, that also presumes that gmail as a service is made better by being run on the infrastructure of a hyper-scaler. Running it across datacenters worldwide. Is it? Is the experience meaningfully better for the end user in the bargain, or is it everything around that service that requires such vast resources?

Like, genuinely, how much electricity could we save if we just turned off user data collection tomorrow?
A less quackish way to say the same thing is that a scientific paradigm tells people along which lines to look for answers. Looking at areas the paradigm doesn't recommend are generally not worthwhile, but occasionally you get something important, which doesn't fit in the current paradigm but will eventually help form the new paradigm.

A good heuristic could be "seems like a solid scientist in general, but this niche where he was a top level researcher led him to a split with the main stream" vs "consistently takes anti-mainstream views and has no contributions within the paradigm "
Do you have any plans to be able to take TypeScript types to do type optimizations? That sounds like a bonus to me to be able to have easier implementation and faster run times.
Maybe slimmer pieces would help prevent collisions during movement? (It is a pretty obvious suggestion, so likely there is a reason the author didn't take this approach. Is the lower bound of the piece's base determined by electromagnet strength?)
There should be a way to run the MIDI back through your digital piano (or keyboard) to record the audio That said, software pianos are relatively easy to find with impressive sound banks.
Which I'm sure the arbitrator will bend over backwards to make available to you, and you can surely investigate/sue to force discovery while you're in the midst of Yet Another Lawsuit, err arbitration, right?

Get real.
this post is great, my mental flowchart is similar to this. Content like this reminds me of this post https://sive.rs/plaintext
Any sort of government or similarly "official" organization loves to refer to ISO standard XXXX instead of writing out a summary of the standard when they document things.

Sometimes you see the same thing with organizations referring to web RFCs. It's likely because of a general culture of "don't try to invent new things if you already have a reference for it", although it doesn't really tend to make those documents readable.
That is the annoying format that Wordpress uses to store text. It does not lend itself for search and replace very well.
Note that part is unchanged from the current trademark policy here: https://foundation.rust-lang.org/policies/logo-policy-and-me...

(Except the current policy says "Distributing" rather than "Publicly distributing".)
I’ve had similar excited experiences. On one FAANG offer in 2020, I asked for time to think, as you mention. I already had awareness of pay bands and an idea of the range for this particular role from levels.fyi.

When I came back to the recruiter, I asked how much room she had to negotiate, and asked if she could put me “in the middle of the band”. She immediately said yes and it resulted in a bump of $75k/yr or so.

The thing to remember is that recruiters key metrics are about hires. They desperately want to get people in the door, especially after going through all of the effort to schedule interviews. They will happily help you out within reason.
That's not strictly true -- type annotations are accessible at runtime (that's how things like dataclasses and pydantic work).
>US has a problem with "prison vengeance", where prisoners are not allowed to even have a TV. But it would be cheaper and decrease overall crime. Current prison system is just raising more criminals.

we americcans don't rehabilitate. We just want homeless off the street and out of mind. Clearly if you did a bad thing in life you are a bad person and deserve everything taken from you. California (a more progressive state) had a propostion this election cycle to simply, as I'll quote from a summary:

>This proposed amendment to California's constitution would bar slavery in any form and repeal a current provision allowing involuntary servitude as a punishment for crime.

and it didn't pass. This is already federally illegal, but even the idea of taking some time to clarify the language wasn't popular.

Meanwhile prop 36

>This ballot measure would increase penalties for repeated theft offenses and certain drug crimes, including some involving fentanyl. It also would create a drug court treatment program for people with multiple drug possession convictions.

Passed overwhelmingly with 70%. Nevermind the government is dismantling those who spread the Fentalnyl into hospitals with recknless abandon as we speak. Just gotta get them druggies off the street. Their fault for getting injuected by doctors, I guess.

-----

I guess as people say these days: "It's not about winning, it's about sending a message". If even half the amount California spent on "hard on crime" simply went towards getting these homeless a job, the problem would essentially be solved for many. Then half the remaining can go towards rehabilitating those with genuine addictions and other mental health issues.
What is also great about C# is that the language server for editor support uses the real compiler. I once set that up with emacs and it is by far the best experience I had in emacs with any language.
Looks amazing! Any easy way to get the midi into ableton live? (E.g. if my piano is in another room)
This is a dumb statement. Immigrants pay taxes as well
Pishi: Coverage guided macOS KEXT fuzzing
Most incompatibilities can be summarized to "source generators" and tooling that relies on other forms of code generation. This can be fairly easily dealt with by writing a helper C# project with the necessary "glue".

Other than that, is there something specific you have in mind?

F# 9 even supports consuming ref struct generic arguments recently added to C# and plans to introduce their definition in F# itself AFAIK (which is likely going to be a nicer experience than in C#!). It has been doing impressively good job at keeping up thus far and deserves way more recognition for this.
Npgsql is the popular C# driver, and has an F# wrapper. I'd start there.
Two Months at GitHub
Ruby might be marginally better for toy examples, but goddam I just finished working a job in a Ruby monolith that had ~1M loc and hundreds of developers and it was a nightmare far worse than Python and reading this article made me feel like venting.

Python's "there should be 1 obvious solution to any problem" culture is way better at scale than Ruby's "there should be 5 subtly different solutions to every problem". I hate the distinction between blocks, procs, and lambdas. Ruby's support for both `...` and `..` likewise does more harm than good. That extra period can be easy to miss while scanning code and we all know how much more important readability is than writability. I also don't like the difficulty to distinguish "magic" references from real ones, unlike in Python where all the magic references have double underscores. It once took me a half hour just to figure out why this seemingly normal method called `method_missing` was being invoked when it seemed like it shouldn't (this codebase was so large and classes had so many ancestors / mixins that finding method definitions was generally a problem. I also don't like mixins btw, or inheritance for that matter, but having 1 is better than having both).

I would discourage anybody from learning Ruby for the simple reason that large Ruby codebases are a scourge to our profession. Small Ruby codebases may be fine, and large Python codebases aren't great either, but I much prefer the language that minimizes all the weird gotchas.
Yea sounds bizarre but he observed that.
> RFID. Have 64 antennas and multiplex them to detect which piece is on which square (idk much about RF so this felt tough)

The professional-level boards by DGT use RFID and retail for about $500.

I looked into building a competitor some time ago. 64 RFID antennas alone would have eaten up that budget. I believe they do something smarter like having 8 antennas and arbitrating the signals. They have some patents in this area.

I've seen Hall effect and barcode-based systems too. They've always been a bit less reliable than DGT. Actually DGT is not all that reliable: if you are broadcasting a 20-player tournament you will need to manually update the broadcast around once per round. However I think the position detecting (hardware side) is solid and they could do with improving the move detection in software.

None of this is meant to deter you from building this as a hobby project! I think all the approaches would be fun to try.
Not necessarily my opinion, but here is an interview [1] about someone who gave up F# in favour of Odin ... maybe of interest here in the subthread

[1] https://odin-lang.org/news/newsletter-2024-10/#interview-wit...
Is the author a lawyer?
I imagine we will he seeing more posts like this in the future. I doubt the language will ever be good enough for everyone.

Rust doing these things has lead the language to being an example of what not to do in OSS.
I grew up with parents who had anxiety. I had to be perfect, I couldn't make any sort of mistake because they'd get angry at me.

Naturally, I ended up not even attempting doing anything, because the punishment for not doing something and making a mistake was the same.
The correct spelling of the name of this mathematician is Pál Erdős. With international first name it is Paul Erdős.
For problem #3, I think you can also prove it with perspective. The 3 circles are identical unit spheres at different distances from the viewer. The spheres are connected by 3 infinite cylinders. The cylinders form a triangle, and so lie on the same plane. Under perspective, the plane has a vanishing line on which each cylinder's vanishing point must lie.
C# is sort of underrated but gets a ridiculously easy ride for actively encouraging bloat and abstraction-ism.

What should be "do a thing" is now design a thing to do a thing then call the thing-do-er IDoAThing.

Alone this would not be so bad but the problem is that you only have this. Extension methods? Fuck off (but don't take them away).

Roslyn is great though.
It's not entirely a new thing for Rust, at any rate. The current trademark policy [1] is very similar:

> Using the Rust trademarks (even in modified form) for social events like meetups, tutorials, and the like is allowed for events that are free to attend.

[1]: https://foundation.rust-lang.org/policies/logo-policy-and-me...
I'm unsure why the author is upset about being unable to fork and still calling it Rust. That feels perfectly reasonable: They're the ones that get to call it Rust. The copyright license still lets you hack on it and distribute the results as you'd like, but if you distribute it and call it Rust that's gonna cause confusion, so they don't blanket allow that.
Yes, I agree that applications themselves should handle requests that are not correct for them. I in my experience (maybe not so great :)) have encountered several times products even of large corporations that goofed up with problematic requests and/or payloads in that request. But yes I agree with you,it is adding an extra layer and complexity to the deployment, but sometimes it is a very convenient tool - for example as I mentioned before if you don't want to use off-the-shelf products like apache or nginx. Which should do the job and sift out the bad from the good.
Terrestrial space elevators are unfeasible with known materials. A lunar elevator works with Kevlar. (No claims made for the validity of the article’s $2bn figure.)
If you need a machine-readable format, why not go with escaping like most other formats, or length-before-text, to include all characters - instead of a format that fails on some (albeit rare) characters?
How a South Korean company creates a virtual K-pop group and influencer
I actually coded that as a macos toolbar app. If anyone's interested, I could share the code to GitHub.
That site has a count of sites moved off WP Engine (currently 17K) and a graph showing the total rising over time. And some JS highlighting individual sites. So it obviously is recording sites that moved off WP Engine.

It looks like they have a list of ones not moved from them too... that doesn't change the fact they are recording the ones that moved. Either list... how is it 'anticompetitive'? If they moved, they moved; if they didn't, they didn't.
We will need technology of terraforming anyway in the future. So developing it to stabilize climate so current planet won't kill us is better motivation than developing it for Mars or Venus.

And I think that eventually we will ends up with massive shade between Earth and Sun, because it will be solution with least capital expenditure to achieve stable climate while not requiring great changes in our lives, as that seems to be issue with common folk and their general resistance to green solutions.

This achievement will then unlock ability to terraform Venus, because shading it is first step to cool it down.
I really would like to work full time on LLM for code generation. I have many ideas on how to leverage the context length to produce way better output than current models. My current setup is Zed editor + ollama + qwen-2.5-coder on an M3 Ultra. Will try this model too but the context length of 8K is already a limiting factor. DM me if you have similar interests.
You still have to escape the delimiters to be safe except now they're more rare so easier to forget about.

The bigger problem with CSV is all the inconsistent implementations. For example, some people want semicolons instead of commas because their culture uses commas as decimal points, so I suppose semicolon should really be the standard, if there was one.
Give each developer their own office.
>a large GitHub repo

I feel like in SW, impact and quality should be a lot more valuable than quantity of repos/apps you write. A few lines of code that fix a Gnome/KDE/$BIG_FOSS_PROJECT bug would be a lot more valuable in my book, than say another one in the millionth pile of JS note taking apps, or a repo full of "Baby's first Rust app"