skysight-inc/HackerNews huggingface dataset:
MONUMENTAL | https://www.monumental.co/ | Amsterdam, The Netherlands | Full Time | Onsite

We're building autonomous on-site construction robots at Monumental, starting with bricklaying.

We have built a product and technology that works, deployed it in real-life construction sites with excited pilot customers, and raised funding from some of the best in the world. We're still a small and nimble team of 15 and are hiring mechanical engineers and multiple software engineering roles (product, controls, and machine vision).

Our stack includes: Rust, TypeScript, Nix/NixOS, Python.

I'm part of the software team, feel free to ask me any questions!

https://www.monumental.co/jobs or email us at iwanttojoin@monumental.co
I guess we will know it when we see it. Its like saying computer graphics got so good that we have holodeck now. We dont have holodeck yet. We don't have AGI yet.
And yet a big portion of my paycheck is still going right into the private companies hands. Let that be clear: the government takes money from you and siphons it off to corporations and earns itself backchannel $$$ from those corporations.
The author considered the Go pattern for “enums”. Found it lacking. Made their own code generator for their preferred pattern.

That’s two options. What are the others that are meaningfully different? You have to be able to deal with simple “sum types” in the sense of: this type could take on the value of one of these X predetermined constants. This requirement doesn’t disappear just because the language doesn’t directly support it.
> Siemens rep physically touching things despite vibration sensors being in place - do they not trust the sensors?

Trust but verify?
The trouble with decision trees for language modeling is that they overfit really hard. They don't do the magical generalization that makes LLMs interesting.
The D Language Foundation is a non-profit. We formed it so that businesses could have a proper legal entity to donate to. The executives don't get any compensation.
Location: Ghana

Remote: Yes

Willing to relocate: Yes

Technologies: JavaScript || React || Ruby on Rails || Ruby || Redux || PostgreSQL

Résumé/CV: https://docs.google.com/document/d/1QpQPCcmzF2FK18qpCrmniC0AenvnAd2gBlk_wm2fdN8/edit?usp=sharing

Email:collinskwamebawa@yahoo.com
Running an inefficient app is the user's choice, not Apple's.
See perhaps "Grid frequency volatility in future low inertia scenarios: Challenges and mitigation options"

* https://www.sciencedirect.com/science/article/abs/pii/S03062...
wikimove | Software Engineers | Contract / Full-Time | Fully Remote (Europe CET+/-2)

We are wikimove, a startup focused on changing how mobility is implemented in cities around the world. We build a MaaS (Mobility-as-a-Service) platform which enables cities to take control over urban mobility. Come work with us to help reduce climate change through technology and help make the world better today and for future generations. Our existing customers range from cities to large transportation associations within Germany. Our next step is to expand into other European countries.

Please find the full role descriptions and the application email at https://wikimove.me/?page_id=1579.

We have are hiring for the following roles:

+Senior Backend Engineer (Spring, WebFlux, RxJava, Kafka, Kubernetes) https://wikimove.me/?page_id=1876

+Senior Frontend Engineer (React, Redux) https://wikimove.me/?page_id=1877

+Senior Mobile Engineer (Flutter, RxDart) https://wikimove.me/?page_id=1878
The Multiverse AI Review: #1 Professional AI Headshots?
have you guys tried this?
It has always been surprising to me how primitive Go really is, for no really good reason.

I understand the evolution of C, it made perfect sense back when it was invented. And the limitations were necessary due to the wide array of architectures and extremely limited computers of the time in every dimension (CPU speed, IO speed, RAM size, disk size, etc).

Many of those dimensions have been improved by several orders of magnitude, and both compilers and runtimes can afford to be comprehensive. Yet we get this ham-strung language out of the gate.

Very disappointing.
No, Java generics are basically syntactic sugar over casts, which is why types are erased at runtime when you're trying to debug. Performance also isn't as good as for C# generics since the Java approach limits optimizations.
Similar to the firing-unfiring of Sam Altman, so much of this seems to be boil down to OpenAI's puzzle-box organizational structure.

It seems like the whole "capped for-profit within a non-profit" is not going to to work long term.
Layer | San Francisco Bay Area | Full-Time In-Office | Founding engineer

We’re building SMB accounting software API-first so that it can be integrated directly into software platforms where business owners already work. Our customers are vertical software platforms in the vein of Toast, MindBody or Housecall Pro that help small business owners start, run and scale their business with workflows and financial products. We help them serve their customers who are stuck exporting all their data out of these systems into CSVs and importing it back into other accounting software.

Integrating with our accounting APIs gives business owners automation & accounting workflows directly within their core software while the software platforms get to solve one their customers’ biggest pain points: worrying about bookkeeping & finances.

We’re looking for a founding engineer who is excited about building a company and team as well as building better software for SMBs. We are well funded by top tier investors and are live with hundreds of small businesses.

Tech: Kotlin (KTor) / Docker / Postgres / AWS (ECS, RDS, ALB)

If you’re passionate about building software that real small businesses use every day, get in touch with me at daniel [at] layerfi.com

More about the role and team here: https://layer-financial.notion.site/Founding-Engineer-7998cb...
I have no idea if the fund is actively managed. I assume the president is mostly fundraising, deciding how to spend the proceeds, and dealing with administration. That's a job, right? Or should we just have robo-foundations?
His entire lawsuit rests on the premise that AI/AGI is dangerous for humanity and cannot be developed in secret by large corporations but should be fully open and regulated. Looking at xAI and several other of his efforts (like the Optimus robot), those arguments fall flat. He is seemingly perfectly fine with closed off corporate AI as long as he is the one holding the strings.
The book _Kingpin_ about LeRoux is a great read! Fun and geeky.

https://www.goodreads.com/book/show/9319468-kingpin

Especially liked the part where he is asked "so why do you keep your piles of cash in Pelican cases"? "Because they float."
>> have already optimized for all these factors

Factories and companies start and die all the time. The idea that some steady state equilibrium exists is only in these BS models.

>> production loss and therefore a loss on economic competitiveness

Apple is less competitive because it makes less iPhones than Samsung?

>> What's the better way?

Stop pretending models predict reality perfectly.
TIL starfox.com redirects to the official Nintendo Store
Browser can do the exact same thing as a PWA app. It's using the same web APIs.

Edit: don't know why I am getting downvoted. A web page can do exaxt same thing as a PWA. Access camera,mic, files system, Bluetooth etc, send push notifications here's an example.

https://developer.mozilla.org/en-US/docs/Web/API/FileSystem
@2: Research on the topic seems to disagree with you. You're not taking less risk, you're just trading one risk for another.

Vanguard Research actually wrote a paper about this called 'Dollar-cost averaging just means taking risk later' [0].

Or if you would like more recent research the paper 'Dollar Cost Averaging v.s. Lump Sum Investing' by Ben Felix [1] is worth a read imho.

0: https://www.passiveinvestingaustralia.com/wp-content/uploads...

1: https://www.pwlcapital.com/wp-content/uploads/2020/07/Dollar...

Edit: Formatting
This post was made 2 days ago
I disagree, I do appreciate these signs and do try to pay more attention to blind spots in those areas.
>Just that the world doesn’t (appear) operate with that in mind anymore.

>I’d argue it never really did.

I'm not really sure what you mean.
Sorry, I am a n00b in this regard. But is the intention to get ChatGPT to summarize the pdf for you?
This is what I actually support. At this point, though, given how the non-profit effectively acted against its charter, and aggressively so, with impressive maneuvers by some (and inadequate maneuvers by others)... would the organization(s) have to be dissolved, or go through some sort of court-mandated housecleaning?
No to all of the above.

I already made the point that a search engine can just search for the given string and not muck about with user-specific data… that’s what the user expects a lot of the time.
https://chat.openai.com/

(No, having to create an account does not mean it's "not free")
I liked it a lot other than the dress spheres weren't properly balanced against each other.
Microsoft first invested in OpenAI in 2019, which is when they changed their corporate structure. It's now 2024.

If Musk had some ideological issue with OpenAI's new corporate structure then why didn't he sue right away?
The file format they choose is difficult for a fuzzer to produce valid examples by random chance.

The file format isn't what's being fuzzed, so trying to accept as many things as possible as valid is useful.

It's a trick to make the fuzzer faster.
The hard part of UB isn't where it's mentioned in the standard. The problem is when the standard says "in case A, X occurs, in case B, Y occurs" then somebody invents a situation where neither A nor B apply.
That's a minor implementation detail that devs almost never have to think about.
Yes? You are basically describing every surgery.
Not an expert, but I am a power user of fuzzers.

The problem is that the space of invalid inputs is far larger than the space of valid inputs. Sometimes orders of magnitude larger, say billions or more invalid inputs to one valid input.

Naive fuzzing will hit so many error cases that it will hardly produce a valid input. For the ratio that I mentioned, you might run a fuzzer for a billion runs and only get one valid input in the bunch.

Using a custom mutator and returning a dummy value will give the fuzzer a starting point from a valid input and makes generating other valid inputs more likely.

For my part, I prefer to use custom mutators to generate valid test cases most of the time, but I want some invalid inputs because error handling is where most bugs are.
X is definitely more free and allows more types of discourse than a year ago.
Sum type are great, but I don't think it fits in go type system.
The rhythm of his speech is notably foreign to me. His delivery of "industry" sounds like three words to me, "in dust ree."
If you build a black box, and a bug that seems like it should have been caught in testing comes through, and there's limited documentation that the black box was programmed to do that, it makes me nervous.

Granted, stupid fun-sy public-facing image generation project.

But I'm more worried about the lack of transparency around the black box, and the internal adversarial testing that's being applied to it.

Google has an absolute right to build a model however they want -- but they should be able to proactively document how it functions, what it should and should not be used for, and any guardrails they put around it.

Is there anywhere that says "Given a prompt, Bard will attempt to deliver a racially and sexually diverse result set, and that will take precedence over historical facts"?

By all means, I support them building that model! But that's a pretty big 'if' that should be clearly documented.
> You need a majority of whatever number of people show up to delete a page.

Except deletion discussions are not votes. [0] Closing admins base their decision on the strength of the arguments presented, not on how many people voted one way or the other.

[0]: https://en.wikipedia.org/wiki/Wikipedia:Polling_is_not_a_sub...
Tax people too much it's theft, tax people too little it's buying votes ¯\_(ツ)_/¯
A non-profit simply has to spend all of the earnings, and it makes sense as a joint org for a number of for-profit enterprises (clubs) who all take part in the earnings.

Even if it was for profit company and it paid out all the surplus earnings to shareholders (owning clubs), it would be taxed zero on zero earnings (they'd just have to ensure all payouts happen within the calendar year).
You're thinking about the wrong thing. It's not about salaries for staff. The fact that it's a non-profit means no corporate taxes. That's where the profits go into the pockets of management, practically.
Glulam is rocketing in popularity, though.

It's a good product, carbon-negative, strong, fire resistant, etc.

Northern Europe already uses it a lot, it's starting to come to North America slowly.
could somebody tell me why all the ROMs need updating _every time_ a new version of MAME is released? it would seem like a major cockup: updating the data, the ROM dumps which I imagine are always the same as they come from hardware(?), instead of the code? imagine if everyone had to update the data in their databases every time a new minor version of the database software was released!
Where in the 47 pages of wire sizing does it say anything about time keeping? This reads like an Enphase ad.

This is more strait forward albeit 20 years old already:

http://leapsecond.com/pages/mains/

http://www.leapsecond.com/ten/
This comment is assuming the 5090 will come with more VRAM right? I haven't heard if that will be the case for consumer cards, it would be obviously nice if nvidia did, but it doesn't seem like it is in their best interest to do so versus just offering it on their high VRAM on their datacenter/workstation cards, unless e.g. Intel or AMD starts putting pressure on them at this front.

A 4090 runs a lot of these ML models more than fast enough, the problem is just VRAM right now. I think a lot of local LLM people think even a 3090 is plenty fast enough.
There's already a bunch of stuff in the standard which explicitly says, "if you do xyz, the behavior is undefined". Stuff doesn't become "defined" just because the standard points out that it's not defined.
>Stop pretending models predict reality perfectly.

But what it reality to you and how do you describe it if not by models?
It's not even knowledge. I can't take advantage of most of the tax breaks rich people can because I am not in control of billions of dollars of physical and intellectual property to play shell games with.

As a normal citizen with a normal career, I do not have any levers to play with to """optimize""" what the IRS wants me to pay. For some reason, we let people in control of billions of dollars worth of physical stuff and IP give them different names, and put them under different paper roofs so that they can give the IRS less money. It's such utter nonsense.

Why should you have MORE ability to defer your tax liability by having MORE stuff? People make so many excuses about "but Jeff Bezos doesn't actually have billions in cash, he holds that much value in Amazon stock" as if that doesn't literally translate to controlling billions of dollars of Amazon property and IP and influence.

Why does controlling more, and having more, directly translate to paying less?
I agree. I am baffled as to why there isn't more thought on developing AI starting from simple sensory input.
I don't know if it's technically UB or well defined. The crash is a SEGFAULT and not a panic/abort, but it's probably a SEGFAULT due to guard pages. Still, it's possible to evade guard pages so if you access var[X] such that X points to the heap, it's possible you're reading aliased memory which would be UB in safe Rust.

EDIT: Going to take it back. I'm unable to create a situation where I create a large stack array that doesn't result in an immediate stack overflow. I even tried nightly MaybeUninit::uninit_array but that crashed explicitly with a "fatal runtime error: stack overflow" so it seems like the standard library has improved reporting instead of the old SEGFAULT. So no UB.
Author actually replies that Go, Java, Rust, Swift are options depending on the context, and that general considerations like security are relevant as well. But whatever helps you grind your axe!
"Not suing right away" isn't a good argument in many cases. There are myriad of reasons why people don't sue immediately. I don't think the question is worth asking.
I love iota! It comes in handy everywhere.

Don't serialize to raw integers unless you absolutely have to. Serialize to a string value: it's future/oopsie proof and helps with debugging. The nature of iota is pushing people away from bad habits.

But yes, getting warnings about missing enums in switch statements is very handy. But Golang's type system never aspired to be as rigid and encompassing as C++, Haskell, Rust, etc.
They already have a massive moat. Try competing with them, let me know what the bill looks like. Only a few companies on the planet can realistically attempt it at this point. Let me know how many GPUs you need and where you plan to get them from.

They have the same moat that Google search has. Including as it pertains to usage and data.

You also can't train a new competitor like OpenAI was able to jumpstart GPT, the gates have already been raised on some of the best data.

Very few companies will be able to afford to keep up with the hyper scale models that are in our future, due to the extreme cost involved. You won't be able to get enough high-end GPUs, you won't be able to get enough funding, and you won't have a global brand that end users recognize and or trust.

The moat expands as the requirements get ever larger to compete with them. Eventually the VC money dries up because nobody dares to risk vaporizing $5+ billion just to get in the ring with them. That happened in search (only Microsoft could afford to fund the red ink competition with Google), the exact same thing will happen here.

Google search produces $100+ billion in operating income per year. Venture capital to go after them all but dried up 15+ years ago. There have been very few serious attempts at it despite the profit, because of the cost vs risk (of failure) factor. A lot of people know how Google search works, there's a huge amount of VC money in the tech ecosystem, Google mints a huge amount of profit - and yet nobody will dare. The winner/s in GPT's field will enjoy the same benefit.

And no, the open source at home consumer models will not come even remotely close to keeping up. That'll be the latest Linux consumer desktop fantasy.
> Google + Github search

GitHub Search is my favorite tool and I don't think most people realize how powerful it is or how much they can rely on it. You can get so much intel from there, not just about how to use a library, but even esoteric URLs or some fingerprints that are only in a site you're trying to scrape or an app you're trying to reverse engineer... it's saved me a ton of time and is a great way to find specific resources that I'd never know existed otherwise.

Co-Pilot is also great but it's hard to explain why without just telling you to try it yourself. It's basically a super advanced auto-complete, but it's also more than that... it feels like a second brain that is running one thought ahead of you at all times. Sometimes I'm thinking through a problem and I just press tab and it's already thought of the solution.
> Generics? We don't need that

You make it sound as though the developers were opposed to generics, which isn't accurate. Perhaps some in the community expressed such sentiments. The plan has always been to possibly include generics at some point, which they then did.
Because of that, all ski resorts on US public land aren't actually "exclusive". A lift ticket just buys you access to the lifts, you can hike up during the winter or summer, with restrictions during the winter mainly around everyone's safety (designated uphill routes, don't go where they're doing avalanche control).
> We don't need that .. (time goes on) .. okay, damn it.

To prove your point further, at the time I got the impression that most of the community was against that decision and didn't see the point in introducing generics in the language.
And water. Try to slow down a hydroelectric turbine, increase its load, and you are fighting thousands of tons of moving water flowing through a massive pipe. Any change will take at least the time equivalent to the speed of sound in water through the length of that pipe.
Are there no other jobs in California that pay less?

If this is a global floor in California, it's going to lead to some interesting things.

It will have the effect of flattening out the income of a huge chunk of society. A huge number of people in California will all have identical income.

It will be cheaper to make things across the border and import them. So the kinds of jobs needed will change. California will lose local jobs but gain jobs having to do with coordination and importation.
Such an interesting read.

I prompts me to wonder whether abuse was one reason that Heroku removed their beloved (among students) free tier.
What makes you say it's spam? Genuinely curious. If the job openings haven't changed, is it spam to post the same message in multiple threads a month or so apart? Or is there something else I'm missing?
> The title is clickbait.

The article is an advertisement for the authors own Go package that addresses the "problem."
Generating random test cases, seeing what path each random case goes through, and then trying to generate cases to cover as many paths as possible.

I love fuzzing.
I'm assuming because of erasure?

In C#, List<T> and List<U> follows the same assignment rules as T and U, and at runtime are represented by distinct types. That means that going from List<T> to object to List<U> causes a runtime error at the point of casting.

In Java, every generic type is erased to object at runtime, so the runtime type is just List, and you could cast List<T> to object to List<U> and only get an error later, when you try calling U methods on the contents of the list.

(Yes in C# List is a concrete vector type and in Java it is a random-access collection interface, but that is not relevant here)
The grifting can only be fueled by more grifting, it's a momentum game
"The adoption of digital clocks sealed the deal" (of clocks no longer counting power line cycles). But did it? My impression is that for decades, digital clock radios did that just that.
Black and white? Apple not allowing other browsers to have their own browser engines is a black-and-white decision. All or nothing. Apple or nothing. It's all about what Apple wants, and that's MONEY. They don't care about anything else by keeping other browser engines off their platform. It doesn't matter what stupid reason they spout off. It's always about money. Allowing functional PWAs and other browser engines on their walled-garden platform will mean they make less money from their app store. That's it, that's literally all this is about.
> Finally, as a nitpick, moving apps to a different workspace instead of minimizing to taskbar/systray seems like much more work to me.

I specifically want to reply to this, because it is not at all how I use workspaces. I almost never find myself moving an application from one workspace to another. Instead, I switch to a new workspace before opening the application (causing the application to open on the new workspace), unless I know I want to use the new application at the same time as an application on an existing workspace. Switching workspaces essentially replaces alt+tab in my workflow.
...also:

* no null safety

* working with errors

* poor type system
Peter Vogel – The Sound of Shadows [video]