skysight-inc/HackerNews huggingface dataset:
Worth noting that (AIUI) such test ROMs are often used these days to test the faithfulness of emulators.
I haven't seen any real serious replication problems in physics that didn't get cleared up, or anything else that would make me doubt the results.

I would generalize the statement: assuming a reductive order of sciences (medicine->biology->chemistry->physics), if one cannot trust a layer, it seems even more likely that layers above it should be trusted even less.
"access the DOM" is not a constant operation, though, it will vary wildly based on what you're doing and what you were doing just before that (think of reading a computed style before vs after writing a style that forces layout).

1.4b ops/s also sounds like it might not be testing what you think it's testing. Access in that case might just be hitting a cache, so possibly not at all representative of real performance of a web app.
Spent a while looking for this comment - doesn't seem like this occurred to many people, but maybe the 0.1x programmer is actually the OP and not the colleagues.

I'd view anyone new in my team racing through tasks very quickly with suspicion - are they documenting their work? Are they writing robust, maintainable code or just trying to tick a box? Are they writing tests? What, in short, are they missing?

The probability that we'd landed a 10x programmer (a mythical beast of which I've only encountered a few) would literally be the last thing to cross my mind.
My emotional journey with Val having just learned about it today:

Oh neat, a new systems language, probably nothing but let's take a peek. Docs look legit. Hmm some thoughtful ideas in here around ownership. Syntax makes sense. But is it different enough to justify its own existence? Who makes it?

Oooh, Dave Abrahams is working on it. We crossed paths at Apple and I remember his Crusty talk about Swift [1]. It was great, loved the strong opinions, but Apple sadly removed it years later because it had some outdated advice. Wait, he's at Adobe now? So is this an Adobe language?

Conclusion: keep an eye on it, will watch the linked talks, wait and see.

[1] edit: I found the Crusty talk! "I don't do Object Oriented!" https://www.youtube.com/watch?v=p3zo4ptMBiQ
Val has a similar but different strategy to the big problem as Rust. In Rust the reference semantics are lifetime checked (hence all the talk about a "borrow checker") but in Val there are no reference semantics.

In Rust there are some things you can't (safely) do because the checker can't see why they're ok. Val guesses that, with appropriate language features in place, you can extend that to everything and still have a useful language but now you don't need to teach this complicated and difficult feature.

Because Val is young it's not yet obvious whether this is basically always better, or whether it's too limited.
Anyone got an opinion on Embedded C++, a C++ subset/dialect?

https://en.wikipedia.org/wiki/Embedded_C%2B%2B
Contains a valid roman numeral or is a valid roman numeral? My first instinct was it should return true if the string contains V or I or M or... Whatever the other letters are.
We're using the hosted option, and since we run on rails all we needed was the ruby SDK [1].

Essentially, we just have an additional logger attached to our stdout logger which ships logs over to highlight using their OpenTelemetry implementation. No infrastructure required, pretty simple.

[1] https://www.highlight.io/docs/getting-started/backend-sdk/ru...
Given how beneficial it is to employees and it's ubiquity, quality workers are reasonable to expect this flexibility when looking for their next company to join.

This news is what I was hoping for.
I don't disagree. But when the most competitive and data driven companies go in one direction, I would be surprised if the evidence wasn't pointing in one direction.

Don't assume that hacker news / reddit anecdots are 100% honest, generalizable, and not self serving delusions.
Building an atlas of these for every country in the world seems like a fun project.
> Others such as 7, 11, 13, 31 are shorter

⅐ has maximum possible length of n-1 (142857)

> to see if e.g. telephone numbers could be represented as fractions yielding repeating decimals.

Every number can. For example, phone number 15224787 would yield

n = 0.1522478715224787[15224787]

⇒ n × 10⁸ = 15224787.1522478715224787[15224787]
= 15224787 + n

⇒ n × (10⁸ - 1) = 15224787

⇒ n = 15224787 / 99999999
= 1691643 / 11111111

(I didn’t check whether further simplifications are possible)
Some neighborhoods are harder than others, but I have found the subway + bus service + regional rail makes it possible to get ~anywhere~ in an hour from where I live. And those neighborhoods are the exception for me, at least, 99% of my trips really are under 30 minutes.

Driving to those places would be 30+ minutes anyways, some of it really is just distance + gridlock
Right, other things can change, and you record those changes as immutable rows in a table too. You don't forget that the "super pizza" used to be called "uber pizza," so you can print the same exact receipt again, but you know they're the same product.
I keep up to date with scientific news about climate change and several years ago joined Extinction Rebellion because I concluded that what I can do myself will never be enough. I give presentations about the need for action and participate in larger actions. For example, in two months we will block a highway in the Netherlands demanding the government to stop fossil fuel subsidies. This is, as always, a none violent but disruptive action. We have done this several times before and each time there seem to be approximately twice as many people, the last time approximately 8.500.
The way you use the language has everything to do with the language. It is the language.

A language is a product, and the programmers writing in it are its users. The same way any other product works.

Would you be okay with buying a Tesla without the capability to charge at supercharger stations? You can only charge at home. The supercharger network is not literally part of the car after all!
You don't need it. On the past couple laptops I've owned (Lenovo and ASUS), S3 and Modern Standby use the same amount of power.
Congrats on the launch! How are you thinking about building an open-source company vs a closed-source?
> But then you want ADTs, which aren't really functional.

Pretty sure by ADTs, GP means "algebraic data types". These are very much functional, at least in the sense that they're a standard feature of statically typed FP (at least I know of no such language that doesn't have them).

ADT also sometimes stands for "abstract data type", which is something different. Although I wouldn't call them incompatible with FP either, Haskell typeclasses can express abstract data types, for example.
Building something that can be successfully adopted and operationalized at mass scale is an element of the state of the art.
Llama 2 Whitepaper Discussion / Q&A
I think in this case, an established company with an established product and a mature org would do just fine in a remote setting.

I'm talking more about seed-stage startups and starting 100% remote companies from scratch. It's a whole different ballgame.
Or use zuul. That solves your problem.
Are those languages able to do low-level hardware things?
Your comment reads like it's arguing with me, but I don't understand what you're trying to refute.
Support for MLS (Messaging Layer Security)
Talk to people at your company, go to fairs,...

You'll better understand what is going on around.

You can do some amount of learning new tech skills. But you'll have to know which ones at first, so the former steps are still important.
Now YC has funded 4 companies directly competing with each other.

https://news.ycombinator.com/item?id=25991485 Launch HN: Opstrace (YC S19) – open-source Datadog

https://news.ycombinator.com/item?id=22376732 Launch HN: PostHog (YC W20) – open-source product analytics

https://news.ycombinator.com/item?id=26079389 Launch HN: SigNoz (YC W21) – Open-source alternative to DataDog

https://news.ycombinator.com/item?id=36774611 Launch HN: Highlight.io (YC W23) – Open-source, full stack web app monitoring

The monitoring space is heating up after the Datadog IPO.

Edit 2023-07-18T22:42:00Z: added PostHog
Never heard of https://import-linter.readthedocs.io/ before. Not sure if I like this type of solution, but it's interesting, and certainly the problem is real.
> How are you certain? Has someone published a paper that I'm not aware of that settles this?

That's kinda the point. I'm not certain at all, but given the available information, it is the simplest explanation.

> How can it be possible to experience being a brain, being a brain itself?

I'm not really sure what you're asking here. A clock can tell time, but if it was _like something_ to be a clock, it would feel like knowing what time it is, it would not (and pretty much couldn't) involve awareness of all that goes into producing that feeling (because then you'd need a mechanism for awareness of that, and then a mechanism for awareness of that mechanism, and etc). The difference with the brain is that we're pretty sure it is _like something_ to be a brain in a body, and we also know it doesn't include perfect awareness of what goes into producing that feeling. So when you ask 'how can it be possible to experience being a brain, being a brain itself' I would say that it isn't? because your awareness is limited to the qualia that bubbles up out of the mechanics in the brain, and your experience of being a brain is similar in fidelity to the clock's experience of being able to tell the time.

> Experience and consciousness are axiomatic and precede theory about the physical world. You started with sensory experience and perception, and built models of how your brain works on top of that, not the other way around.

This is just solipsism. Sure, it is entirely possible all of the experiences and perceptions I've experienced have misled me into thinking that the brain is all there is, but that seems kind of contrived? I'm just as confused as you about why we aren't all p-zombies, but, well... the history of all knowledge has basically been "yeah it turns out to just be physics", so my guess is that qualia is also just physics.
Hmm, I think there may be some confusion. A merge queue != stacked branches.
>Apple are never first, sometimes they are quite late, but when they do launch their version of a product it is polished

Apple maps would have a laugh at that
Which reinforces a point that I couldn't make above (because I had to go to a meeting)

I also wonder if Uber/Lyft pricing below cost had to do with competing with each other? IE, if all they could do was compete on price, would that (cough) force them to undercut each other? If one decided to price below cost, would the other fear that they would loose too much market share too quickly if they kept their prices sustainable?

Disclaimer: I am not an economics expert!
I found a Guardian article [1] which quotes one of the people involved:

"We started to think about how it would work with different typefaces, then started mood boards with different fonts and pictures – especially of old Swedish signs we'd seen from the 1940s and 50s," said Jesper Robinell, Söderhavet’s head of design.

[1] https://www.theguardian.com/world/2014/nov/14/sweden-sans-de...
If anything COVID demonstrated the opposite - governments were all too eager to get back to BAU despite the situation still being severe, resulting in notably high excess death rates.
I’ve seen my Model Y charging at a rate of 800 miles/hour. It didn’t sustain this but it was interesting. That’s 13 miles per minute.
It honestly just sounds like you're mad at capitalism for setting conditions for success that harm the consumer. I agree, but you're awfully late to the party if only now you think it's "not cool".

I think the better advice is to not stake your life on things you don't control. Technology can be built in a holistic and transparent way when people agree on it, but that's not what our economy says is smart. So naturally, the most successful businesses gravitate towards surveillance and advertising and lock-in. This was the basis of most cyberpunk fiction that I grew up on, exacerbating corporate control to it's logical conclusion. The idea that any of this is "cool" in the first place speaks to an unfortunate reality, that most of us will ignore dystopia if the design is pretty and the little logos all glow bright enough.
>It either swims or it doesnt

Correct, it swims.

>A drowning hippo isn't going to wish itself to float.

A drowning hippo probably wishes it can float, much like a drowning person wishes they can float.
When I used those libraries in .NET, they simply did not function, for unspecified reasons. I boiled it down to the smallest possible example, based on their docs, and data simply never made it through the flow at all. It was baffling to me, but not an uncommon experience with various components of the core of .NET (not to be confused with .NET Core).
It probably costed tens of millions to create the model.
100k per trillion market cap won't pay for that investment. If there was a potential trillion dollar market cap for applications of this model they wouldn't give it away for free. Facebook does not have a trillion dollar market cap.
I'm skeptical of other parts of it as well; for example, one of the memory sections uses logos from popular software projects (inkscape, gnome, etc). It was a lot easier to remember the logos I'd seen before vs the ones I hadn't.

I think it's a neat test, and I'm curious to compare results with my friend who's an artist (I found the visual components challenging). But it seems less robust than something like ravens matrices.
The irony, of course, is that codebases would be a lot better if developers did sit down at the end of a project and wrote high quality documentation for it. Even better if they did it while developing the codebase.

Also, this comment is especially ironic on HN where the top 10 comments on every Show HN submission will be nitpicking about the design of the website or the wording used, etc.
I think that's an overly cynical take for the work type designers do.

Design in general is highly detail oriented. In interior design, there are philosophies about the proper arrangement of furniture (feng shui). In visual design the balance of colors is crucial, and there are complex theories about the best ways to match and offset colors. This is highly technical work that might seem overly pedantic to outsiders, but really has an established theory about how it impacts the viewer.

So is the case with type design. There are infinite combinations of shapes and sizes of symbols, and an entire science behind how humans interpret characters to form words and communicate ideas. Think about how much design went into just this paragraph you're reading. A bad type can be tiring to read, while a good one can make the words flow off the page/screen. As readers, we take this for granted, but a type designer needs to take all this into consideration.

Consider the work it takes to design a logotype, and how it sometime seems deceptively simple, when in reality it takes a keen eye to design a brand logo. Now extrapolate that to all letters of all alphabets that a modern type should support, and it's no wonder that great type designers deserve all the praise and recognition.

So, yes, all these documents are necessary, and explain the intent of the designer, or how the user feels the type helps with transmitting their message.
It's worth looking at julia's JuMP, I find it very ergonomic, fast, and easy to try differnet LP solvers

Also https://neos-server.org/neos/solvers/index.html is an amazing resource I don't see used often. These solvers are very expensive and it's not obvious which solver will solve a given problem fastest (if it supports the problem's type) because it depends on which heuristics they use. So you can submit example (medium-sized) problems here, try out a bunch, and get your company/buy the one which you know works best
The entire point of liberal ideology is to gather a variety of viewpoints because we accept that everyone is not born equal. That doesn't make some people better than others, they just bring different skills to the table.
Microsoft’s Bing Chat A.I. bot now lets you search using images
>awkwardly silent during this whole AI revolution

They weren't silent about AI child porn scanning on-device so we know they definitely have the capability for AI on device.
Renewables surprisingly “on track” to meet net zero by 2050
Ah yes, the languages that eschews namespaces and static,reinterpret_cast, major sources of issues on embedded platforms.
Not really surprising-- CMAES basically replaces the actual gradient you care about with a rough numerical approximation to it that's based on looking at lots of input-output pairs. I think the concept originated in surveying, where it's called the technique of "kriging":

https://www.publichealth.columbia.edu/research/population-he...

https://en.wikipedia.org/wiki/Kriging

Basically, you are wasting most of your compute to come up with a rough local approximation to the thing you actually want. But that's sort of pointless in the NN training context, because what you want is basically the gradient (and maybe some higher order terms that tell you about the local curvature too).

CMAES makes sense when the gradient is not even well defined. For example, if you have a bunch of parameters for an airplane design, and then want to take that design and do a bunch of huge aerodynamics calculations to compute its lift, or do a big finite element analysis to measure how well it withstands various stresses, and at the end of that big analysis, you get back a number, like "maximum lift" or something. If each run takes hours on a supercomputer, then you clearly don't have anything close to a gradient and it would be very expensive to even try to approximate it numerically. So CMAES is useful there in helping you pick better high level parameters in a smart way-- basically it's a big improvement over grid search.
You app is awesome. I hope you can keep working on it forever ;)
> FYI this type of code-switching is not universally present for everyone though it may be for you.

There's a difference between overt code-switching like people do when among members of their own race versus others compared to the more basic "I don't tell dirty jokes around grandma but I do around my bros."

> Some people are their "authentic" selves the majority of the time.

I don't think of any of these roles are inauthentic. People contain multitudes.

You're right that some people deliberately collapse their roles and behave mostly the same across all contexts. I think it's usually done as a sort of power play to show that they don't have to behave differently to suit others around them. Trump is a good example.
Gym Class VR (YC W22) Is Hiring Back End Engineering
What I Learned Building a CLI App in Rust
> How do you do a hill start?

I never use the parking break for hill starts and I've been driving manuals since I got my license in the 1989. Not that I particularly want to but whenever I'm looking for a car that's all I can seem to find in my price range.

Back in the day I used to have to parallel park my old Bug on a hill and the parking brake didn't even work -- it's just something you get good at after a few times.

Though... my current car does have a "hill assist" mode that automatically applies the brake on hills to help out which is kind of nice.
> Do people not merge master into their branch before pushing?

No, they rebase! (Sorry, couldn't resist, yeah the other half does this (!attention, opinion!) ugly cross merges that make the commit graph look like my cables under the desk...

> Merge queues are the only way to ensure that main does not break from conflicts that arise "in between" commits.

Not the only one (though you may argue this is a degenerated queue): use merge locks! Yeah, we really use git svn style, the locking is done via a chat channel. No, please don't laugh. Acquire the lock, merge develop or rebase, check everything again, release lock :D :D
(No again: I am not suggesting this to anyone!! :D )
Who is gonna take the box off the shelf in the truck and attach it to the drone? Boxes are stacked on the truck and move all around, not set neatly spaced on a shelf that doesn't move. You'll need another robot to do that for you.
Show HN: The simplest tiny analytics tool – storywise
I've built a little prototype a long while back, to help me keep track of visitors on my website. I didn't like google analytics for obvious privacy reasons, and I didn't like the existing self-hosted options because of how complicated they are. I always wanted a simple, basic tool, similar to plausible, but even simpler.

So a few weeks ago I rebuilt my prototype into a reusable tool. And I made it open source. I built a website, a documentation, and I'd be excited for someone else to try it too. Who knows, maybe if enough people like the idea, I might even make it into a SaaS to save non-technical people the hassle of self-hosting.

Anyhow, I hope someone likes it.
marriages should probably be replaced with a license to have children, with a separate license / registration for each child.
Tesla board members to return $735M in compensation settlement
Then compress that tiff file with .7z, give it a cool new extension like .WAIF (Weather API Information Format) and standardize it, and baby, you got a stew going.
Good to see these results, thanks for posting. I wonder if GPT-4's dominance is due to some secret sauce or if its just the first mover advantage and Llama will be there soon.
students definitely are not all equally capable in one aspect for sure: their ability to hire or provide private tutoring outside of school hours. Cutting access to state-funded programs (such as algebra classes in middle school) just means the rich children get even more of a leg up on college admissions and life in general.
What do you mean by "Go has succeeded"? It has found its niche, yes, but so have those HM languages (maybe the Go niche is a bit bigger), and a bunch of other languages that people also like to hate.

Meanwhile, most code is still written in languages like Java, C and PHP.

That's no value judgement or anything, I don't think Java is an amazing language (neither do I think it's a terrible one), but it's not like Go has revolutionised anything. It's just become a new option among many.
It's now part of his workflow. The control button was hard to reach, so he configured emacs to interpret electric shocks as "control".
Countries don't want people working without contributing taxes to the society.
Jokes are hard and sometimes they don't make the splash we intend.
I do not take private jets, only use public air transport. I strongly advocate against people that use private jets.
I knew an early dev at DoorDash, and he hated that policy.

That said, I personally agree with that approach. It's the practical vs academic argument: the ideal is both. Anecdotally, the most productive dev on my team was hired from a customer of ours where he personally used and integrated with our software.
Having some shit devices in the office for testing is one thing, having all your engineers use shit HW leading to long compile times (this was FW dev, not web-dev) because you're a stingy CEO who thinks your team of 6 engineers don't deserve decent HW even though you're indulging yourself in it, is another.
Was just searching for something like this and considering rolling my own after a couple of strike outs(logflare and logpush/r2). Looking forward to giving it a try!
It's even more hilarious because Microsoft are always loudly exclaiming telemetry is necessary for software improvement but based on how buggy and terrible most of their software is telemetry doesn't seem to be helping.
The focus is very different though as the Swedish one is a brand guide for country marketing purposes while this is for developing government services.