skysight-inc/HackerNews huggingface dataset:
SEC charges Gemini and Genesis with unregistered securities offering
Ah, I think I see. Open sets are just how we encode information topologically. Theyre sort of the "atoms" of topology; the types of opens sets you have say how the topology behaves.

In particular open sets are neighborhoods of all of the points they contain. This means they contain all the topological information about all of their points.

Closed sets are not neighborhoods of their points in general. Eg [0,1] contains no neighborhood of 0 or 1. Then we would require knowledge of the space around those points to know how a function behaves just on [0,1].

In standard calculus this amounts to "taking the left and right limits".

Does that help?
Your machine can also act as a bastion to a remote resource for the rest of your network through local port forwarding, e.g. -L 0.0.0.0:8080:localhost:8080

Then any local machine can e.g. curl yourip:8080 and the request will go through your machine, over the SSH tunnel, to the remote machine
I always wonder if light traveled billions of years to get here wouldn’t it be possible that it got distorted along the way? What if all these galaxies are just a sort of a typical pattern of what light looks like after an unfathomably long journey through space/gravity/time/etc? It could be likely that what we’re seeing is no indication of what was ever actually out there.
Ok so what’s the difference ?
Nope, you need to be quick to file.

There is, however, an exception: if an invention is likely to be obvious to a person skilled in the art given access to prior art, the invention is not considered not patentable
PWM those 1 bits to get grayscale and add dithering.

I'm sure this is what the Palm Handspring did.
No, because in discrete differentiation like this, there is no limiting process where openness matters, and open/closedness is completely trivial in discrete spaces.

The "one-hole" is in the discrete types, not the potentially continuous values.
don’t confuse smart with experienced

interviews do not currently optimize for hiring experienced people but rather people willing to grind leetcode
...request an example [I've tried, avail is none].
My use case is different than yours, but I think you can accomplish what you want.

I'd check out naturalreaders.com
Interesting you assumed the female CEO writing this was male.
No. According to patent law, independent discovery does not exist. And should it ever be proved otherwise, thousands of patent attorneys would be found crying on the floor in fetal position.
Can we please just skip to the part where you tell us how you feel about vaccines?
I recall graphics programming books in the mid/late 90's about dithering techniques.

There's also some fun related work on ASCII art rendering.

This sort of thing is/will still be useful for low-cost displays. I'm sure we'll have Wifi-enabled e-ink displays on cereal boxes soon.
Especially with the number of "unofficial" packages doing this in a less than standard way.
Thank you. We do precise GC in C++. I wrote a C++ static analyzer in Lisp that uses the Clang front end and analyzes all of our C++ code and generates maps of GC-managed pointers in all classes. We precisely update pointers in thousands of classes that way. We also use it to save the system's state to a file or relinked executable so we can start up quickly later. Startup times using that are under 2 seconds on a reasonable CPU.
Seven trees in one [0], a paper showing a bijection between binary trees and seven-tuples of binary trees.

Is this a surprising result? I am not quite interested enough to read through the paper in order to find out. Naively I would say, sounds maybe a bit fiddly, could have a clever trick to do elegantly, but does not sound too surprising or hard.

Build a complete binary tree with six nodes and attach the seven trees from the tuple as children. This is not a bijections as trees without the complete tree do not map back into any tuple of trees, so fiddle a bit with those six nodes to encode some special tuples or classes of tuples. Okay, now you have a new problem, two encodings for some tuples, so we have to also fiddle a bit with the trees before attaching them. Yeah, that could get fiddly...
Dyson Zone air-purifying headphones: Hands-on at CES
What happens when you pass that variable around? Imagine looking at a function that takes "Pair<String, Pair<String, String>>". What the heck is it?

Well, since we decided to use opaque types, we now have to do a bunch of spelunking. We have to grep around for usages and trace that parameter alllll the way back to where it was defined in order to find that "useful" comment. Or, we could just use better types!
if you're talking about the playground, I did the initial version in a weekend or so (https://github.com/terrastruct/d2-playground), which includes building a WASM version of D2 (written in Go), putting a text editor, some UI stuff like dropdowns/menu, hooking it up together, layouts and responsiveness whatnot.
Developers who'll work right out of school, is my guess. Rails is great for the people who used it during that generation, and still is, I'm told. JS offers cheaper and more plentiful talent, and doesn't require as big of a mind shift as rust. If they become more JS centric, given the overlap in JS and Rust ideology, I could absolutely see them involving Rust soon after.
Recordings without audio in public spaces is generally allowed. In some states (single consent), audio is ok too.
ok, but what caused the big bangs?

...

Genesis 1:1
For Norway, Could it be related to the fact that Norway had a cash-for-care policy much earlier that was used by 91% of citizens? https://www.researchgate.net/publication/318121531_The_rise_...

Using cash-for-care, as I understand it, resulted in mothers working less and spending more time at home.

This article also claims Finland had a cash-for-care program much earlier, and also had a higher proportion of mothers who chose to be homemakers: https://library.fes.de/pdf-files/id/09079.pdf

It looks to me like you are being overly dismissive because this information doesn't fit your preferred narrative.
Enhancing Airflow for Machine Learning
It's black holes all the way down. Fun to note that, from the reference of someone outside a black hole, the singularity contained within hasn't happened yet, and never will.
Flexport's success/failure will be a good datapoint into this.
Thanks for responding, and thanks for your work for the community! I sometimes place myself in the shoes of devs building TypeScript, especially when I am a little frustrated, and most of the time I realize that a lot of these issues are incredibly hard to solve.

> i. Dependency management is indeed frustrating. TypeScript doesn't create a new major version for every more-advanced check. In cases where inference might improve or new analyses are added, we run the risk of affecting existing builds. My best advice on this front is to lock to a specific minor version of TS.

In my recent case, I needed to update Apollo Server to v4, which needs a newer version of TypeScript (see https://www.apollographql.com/docs/apollo-server/migration#t...), which in turn broke a type used from ProtobufJS. I am still navigating ProtobufJS source code to figure out what is the correct fix here.

> ii. My anecdotal experience is that library documentation could indeed be better; however, that's been the case with JavaScript libraries regardless of types.

Actually I think documentation is almost universally bad, I don't think Go or other languages are that much better (I don't want to wade into that debate though). The thing is, having TypeScript means you need more documentation. Even some pretty well documented JS/TS libraries completely neglect TypeScript and the end effect is that you end up having to guess things, or start reading source code. I don't actually know how you could improve this situation.

> iii. Our error messages need to get better - I'm in full agreement with you. Often a concrete repro is a good way to get us thinking. Our error reporting system can often take shortcuts to provide a good error message when we recognize a pattern.

I will look closer at this and start to think of how it could be better when I see a confusing message. I would probably count this as the biggest area that could yield improvement, because most of the time frustration is born of not being able to understand an error message. Often fixing things lead to trial and error. Can I just open an issue in the TypeScript repo for this sort of thing if I have a concrete suggestion?

> iv. Compilation can be a burden from tooling overhead. For the front-end, it is usually less of a pain since tools like esbuild and swc are making these so much faster and seamless (assuming you're bundling anyway - which is likely if you use npm). For a platform like Node.js, it is admittedly still a bit annoying. You can still use those tools, or you can even use TypeScript for type-checking `.js` files with JSDoc. Long-term, we've been investigating ways to bring type annotations to JavaScript itself and checked by TypeScript - but that might be years away.

Once it is part of the language, that will help a lot :) I considered using Deno or Bun to get me there on the server side, but need to be careful with production services.
Ask HN: Job for someone burnt out on tech?
Dear HN,

I'm a developer of 10 years. Lately, I cannot bring myself to sit at a desk, let alone work. Vacations temporarily help, new habits, etc. But I'm just done with it. My job is great, the problem is with me.

What would be an ideal non-sedentary job for someone with no other professional skills, but who only needs to cover living expenses of a modest lifestyle. No debts children etc.

My dream job is a groundskeeper of a park. What about you?

Thanks.
Building a Homemade Ambient Pressure Submarine
Just because Google enterprise offers email hosting doesn’t make email itself centralized. Just the fact that the protocol is federated is enough to prevent abuses (since anyone who doesn’t like the abuse can self-host without any loss of feature or friction).
Relevant xkcd:
https://m.xkcd.com/2682/

And from the alt-text:

"Friction-driven static electrification is familiar and fundamental in daily life, industry, and technology, but its basics have long been unknown and have continually perplexed scientists from ancient Greece to the high-tech era. [...] To date, no single theory can satisfactorily explain this mysterious but fundamental phenomenon." --Eui-Cheol Shin et. al. (2022)
C and C++ codebases are two very different things.

I work on a large c++ project, and our compile times are awful. From my limited experience, moving to rust would absolutely ruin our compile times.
There is a general notion of derivations I believe theyre using. Ie anything that obeys the Leibniz rule (fg)' = f'g+fh'.

Its an informative exercise to see how many of the standard rules of calculus can be derived using just this rule.
Thank you. People laughed when I suggested an HVDC link between North America and Europe.

Nordstream 1 was 1222km, and Britpipe now, is 60km shorter.

Boston to Lisbon is 5100km. Churchill Falls (home of a giant hydro dam project in Labrador Canada which got screwed by Hydro-Quebec because the only via transit was through Quebec), would be just under 4000km subsea.

The transit contract expires in 2039 I believe...
The only one posting in bad faith is you. You have brought literally nothing substantive to the conversation - no citations, no rebuttals, no arguments, no positions.

Allow me to recapitulate your position for you - you are categorically wrong, on all counts. Try getting an education to learn why.
Communicate the metrics you value for long term resilience and that efficiency is not more important. Explain why, use the example of them getting into a car accident.

If you have to fire such a person you failed at communicating the relevant metrics to them. They are clearly going out of their way to optimize for something, they are simply working with an incomplete understanding of what to optimize for and what costs that incurs.

edit: Communicate it like you would communicate that the great new improvement in start-up time came at the cost of energy consumption or unit price. Its great but it missed an existential metric.

While there are people that maneuver themself into positions making themselves irreplaceable, quite a few simply have the urge to clean up and make a nicer solution. Their definition of nice is just incomplete.
Similarly https://en.wikipedia.org/wiki/Symbolic_method_(combinatorics...
There's this incredible project to build a 10GW solar farm in Morocco (1/3 of UK peak consumption) and bring the power to the UK via HVDC cable. Amazingly they estimate only 10% losses despite being over 3800km long:

https://xlinks.co/morocco-uk-power-project/

Surely HVDC links between Scotland and England could be built?

And then there are pumped hydropower storage project like this one with a proposed storage capacity of 200 GWh and 1.5GW of power:

https://www.coireglas.com

In the worst case, couldn't the excess power simply be used in electrolyzers to generate hydrogen? They may not be very efficient but it's better than throwing free energy away.
I didn't tell you what to say. I asked you nicely. Notice I used the word "please." You can make all the arguments against Wayland you want. Promoting baseless conspiracy theories and verbal abuse calling other people morons doesn't help get your argument across. It weakens your point. You're just hurting people as well as hurting your own argument by making these comments.
Give the smart engineer the fixed budget and behold them to it.

Calms a lot of smart engineers down but every once in a while, a shiny gem encompassing all the bells and whistle emerges.
I'm more interested in Bill being best buddies with JEpstein.
It would not make it very far as it passes though interstellar gas that is not antimatter.
Both things can be true: the universe can be incomprehensibly vast and life can be incalculably rare.
In the sense that errors are values, you should not normally need to hunt for the origin of errors, and so stack traces should unnecessary.

Many errors don't need metadata. For example, io.EOF signaling the end of a stream is a normal condition. But there are those "true" errors which are unexpected conditions indicative of a bug or a scenario that should be handled differently. To make those easier to find, you can annotate the error values to make it clear what the origin was. This is why there's now a well-established convention to wrap with contextual descriptions at every point in the chain.

In about 8 years of working full-time with Go, the number of situations where I've struggled to hunt down the source of an error value is pretty close to zero. Not zero, but close.
What price do you think we should pay for the electricity?

Suppose we insist we'll pay less than the price you agree to sell for. Obviously that's not a sale, that's robbery. This problem arises even if we agree to pay everybody the average, because some suppliers didn't bid average, their bid was higher, but we still claimed their electricity, so we are stealing from them.

OK, suppose we decide we'll pay all accepted bids at their bid price regardless of the marginal unit cost. If we do this the supplier is incentivised to guess the bid we will accept, so as to collect the difference between their actual price and the price we're willing to pay. If they're very good at this, we pay exactly the same as now, but, regardless of whether they're good at it the grid is significantly destabilized by the increased uncertainty due to lack of efficient price signals.

What other ideas do you have ?
Apple Store App to Offer Augmented Reality Shopping Feature on Your iPhone
Manufacturing certainty on the origin of Covid-19 is damaging to science
I have a backlog of about 30 board game prototypes to refine, make sell sheets, playthrough videos, Tabletop Simulator versions, and pitch to publishers. Maybe self-release a couple of them.

I have about 7 novel manuscripts from past Nanowrimos that need editing and released. I also wouldn't mind taking a stab at writing serials or smaller books.

I have 6 different video games in various stages of completion (most either small games or very early, only one game that's pretty far along right now), and a backlog of a half dozen ideas to work on besides that, and/or porting my board game designs to a playable web version.

I have been meaning to rebuild my personal website since forever, and include links to all of the above once they get done, as well as past games I have released.

I wouldn't mind playing around with making my music loops for my games again, and getting better at drawing (I know A.I. art is a thing now, but I'd like to be able to get some of the images out of my head better).

I'd also try to drop about 30lbs and train to extend my hiking endurance from about 3 miles at a time to about 6 miles.

Wouldn't mind learning some of the new advances in A.I.

I wouldn't run out of things to do if I had the time off. I've wanted to take a sabbatical for quite some time now, but can't, unfortunately. I did get two weeks over the holidays, made some progress on my main project, but then the basement flooded and took away almost half of my break, a hunk out of our emergency savings, and a good chunk of time this month so far, so that sucked.
I second naturalreaders. You can upload pdf and epub files, and it will read it to you.
Also note though that Obi-wan and Yoda are already standing there and force ghost Anakin fades in next to them after the funeral pyre has already started. So was Anakin still slightly alive and body intact when Luke started the funeral pyre and it was only at that point that he actually died?
The statement that we need all of them is not correct.
Grid forming inverters and large battery storage will replace gas peak plants in the future.
First to go are however the old coal and nuclear plants as they become unprofitable.
To reduce shipping damage Dutch bike co printed television on their boxes (2016)
It would be a spiritual body made out of pneuma, like the angels. Spirit meant something a bit different to the ancients. Pneuma was a substance. The supernatural was literally above in space for them. Why would a flesh and blood body ascend into the heavens where the spirits lived? Anyway, Paul had an ancient Jewish/Greek view of the cosmos, not a 21st century one.
I worked for many years without TypeScript, and the development flow was a lot more pleasurable without a big difference in the number of bugs I saw us shipping.
This reminds me of how when you’re right, you don’t learn much. When you get it wrong, you learn a ton.
> The article leaves an impression that curtailment is a problem that is costing us money.

That’s because curtailment does cost us money. Someone’s paying those wind operators to turn off the farms. We literally pay money to wind farms to explicitly make them produce nothing.

How do you reconcile these two statements?

> High electricity prices are a problem to be solved.

> I'm explicitly calling for more curtailment, because it isn't a problem and doesn't need to be solved.

Curtailment cost money, you still need pay the wind operators to the energy you told them not to produce, plus pay someone else to produce the energy that’s now not being produced by wind. That cost ultimately ends driving up the price of electricity.

You want to reduce the cost of electricity, a good start would be not paying people for electricity that can’t be used.

> Both of those problems can be solved by building more wind power, which almost inevitably increases the amount of wind curtailed.

Only if you can transport the energy. Otherwise you’re just building turbines that can’t be used, and paying for the privilege of not using them.
What a wonderful project to read about. It’s too easy to get into a mindset where you auto-filter your ideas based on whether or not it’ll make money, or directly help you reach some career goal (especially in the HN bubble). This is fun. This is art. I wish I took more time to do “pointless” (in the least derogatory sense of the word) projects like this one. Bravo.
I haven't found much agreement, or at least to the extent I believe it, that Javascript and HTML and CSS have all been shoehorned and built upon completely beyond their original specs.
I know rust compile times aren't great but.. are they WORSE than C++?? yeesh.
Not op, but in a capitalistic economy where transactions tend to be using legal tender, companies providing things for "free" where the (hidden) cost is submission to Big Brother... well, that's exploitative at the least, dystopic in reality. Your unawareness of this being a BIG issue to those who cannot even choose to pay money for a product which is only "sold" for the price of your privacy... is pretty obviously a result of exploitative marketting and a control of tge dialogue which supercedes any source without a narketting/PR department. Especially while we're now "sold" ephemeral licenses instead of permanent products, and most of these products are bits which cost <$0.001 to reproduce, yet cost more today than a hard-copy did in the past, and the lion's share of profit goes to investors, management, CEOs, and other people who not only cannot produce product, but actively handicap and reduce functionality of products to squeeze ever more profit from the now-choiceless consumers.
Does that clarify what has been achingly obvious to many of us who see this writing on the wall?
Your comment touches on the awol concept of clarity in this conversation: "The quality of being coherent and intelligible".

Balls of mud are the very essence of simplicity (in one sense) yet lacking any clarity.

Clarity is a (bad sort of) hot commodity in an immature yet rapidly developing technical field. In our field this is exacerbated by the fact that the entire field can be viewed as a monument to the peter principle (but thankfully the imposter syndrome is there as a collective salve for us all.)

I think highly intelligent engineers that can penetrate the essence of a problem and come up with effective & coherent conceptual models are a valuable but (in places) untimely assets. My recommendation to such engineers (who also wish to be responsible team members) is to recognize the cognitive impedance mismatch and broaden the 'scope' of the solution to include the human element, and descend to norm if necessary. The ultimate goal is to serve a broader goal, and fighting against impedance mismatch is un-/counter-productive.

My personal red line is the 'big ball of mud' teams.
GP was (I think) talking about what the grid pays the plants, not what consumers pay the grid.
You need both good PMs and an organization that is set up to utilize PMs well.
Go compiles near instantly, having used Rust and Go for some time now, and shipped in both, Go is the clear winner if you value being able to iterate quickly.
Interesting bit from this article:

> In November, a California federal judge ruled that a former Masimo engineer stole trade secrets related to Masimo’s pulse oximetry technology. The judge blocked US sales by True Wearables Inc.—a company launched by the engineer after a stint at Apple—of the Oxxiom device “in its current iteration that includes the trade secrets.”
> It's a relatively small town (~22,0000 people)

Just so no-one gets the wrong idea: there was an additional 0 accidentally added there, the real number is ~22,000.
Because outside of the bubble not everyone knows or wants to use emacs. Markdown is a lot more well used.
Apple CEO’s Pay Cut 40% in 2023 After Shareholder Feedback
ok, but what caused Genesis 1:1?

...

big bang
There's a fun conspiracy theory that Nintendo intentionally made the default RSP binary they provided sub-optimized, so that later in the console's life they could release an optimized version so that games continue to appear to get better. This is likely entirely rubbish, of course.