skysight-inc/HackerNews huggingface dataset:
The thing is, functional and imperative programming are mathematically equivalent - to the point that you can express imperative code in a pure functional language, if that's what you really need. If you want a O(1) random access in a functional language, you can formally define it; the problem with this is that you may end up embedding a whole computer in your program to do it, if your program heavily depends on side effects like those in the article. So, if you really need O(1) mutability for a large part of your program, maybe functional programming is not the tool for the job? Being too tied to a paradigm prevents you from finding the best tool at hand.

Functional programs are best used when you want referential transparency[1] as your problem domain benefits from it. If you want to represent mutable state in a functional, transparent way you use a subset of temporal logic[2] - each function has an additional state of the world input parameter, and return an additional updated state of the world value with all the mutated objects in it. The State monad is a version of this with increased legibility (as long as you don't combine many different sources of mutation).

If your needs for mutation are limited to a few objects in each module, you represent those as streams (the generalized version of futures which are able to be repeatedly updated with new values); a stream represents the history of all values that a mutable variable takes during the program execution. This is the basis of the functional reactive paradigm[3] on which modern web frameworks like React and Vue are converging, as it happens that modeling asynchronous state mutations of multiple loosely connected elements is easier in the functional paradigm than in the imperative.

[1] https://en.wikipedia.org/wiki/Referential_transparency

[2] https://en.wikipedia.org/wiki/Temporal_logic

[3] https://en.wikipedia.org/wiki/Functional_reactive_programmin...
There are just so many of these fun AI-related concepts that seem really cool and you get the chill that they will take over the world some day.

Decades pass and you realize they either have little to no application or are incredibly niche :(

Too bad that "solution in a search of a problem" is generally bad approach to problem-solving. I wish our industry was more fun as a whole.
Location: California
Remote: Yes
Willing to relocate : no
Technologies: React, Node.js, Python
Resume: https://github.com/ambrosehundal/resume/blob/master/Ambrose_...
LinkedIn: www.linkedin.com/in/ambrosehundal
Email: ambrosehundal0082@gmail.com
0) It's a bug in software
1) It's amusing
2) He's in the news right now for his spouse being all insurrectiony.
Location: Colorado - Remote only
Remote: Yes
Willing to relocate: no
Technologies: Kubernetes / AWS / Terraform
Résumé/CV: on request
Email: kubernetes_sre@protonmail.com

Resume can be given on demand. I have co-workers that love these threads.

I've been in the Devops/SRE space for 21 years. I've been using Kubernetes in production on large clusters for over 5 years now. I've saved companies 40%+ of their AWS bill by utilizing autoscaling and spot heavily with great success.

Looking for a new role where I'm working in a fast paced environment and help them with their cloud/kubernetes experiences.
Not particularly. Some justices prefer to listen publicly and discuss the case privately with the other justices and in public writing.
Philosophically, you might be right, although even philosophers are aware of the tragedy of the commons. Practically, however, these are not serious questions. As long as time and effort is wasted on demonizing farmers rather than cooperating in pursuit of our mutual goals, water levels will continue to drop.
Divvi Up (ISRG) | Remote | United States | Full Time

Divvi Up is a privacy-respecting system for the collection of aggregate statistics, being built by Internet Security Research Group. We allow application owners to collect user data, telemetry, survey results, or other data and produce useful aggregates over that data without being able to determine any individual's measurements.

We're looking for an additional software engineer.

https://www.abetterinternet.org/careers/divvi-up-sw-eng/

ISRG also operates the Let's Encrypt certificate authority. Divvi Up is a new ISRG project and we hope to have similar impact with it!
Neomind Labs | Elixir Developer | Remote | US | Full or Part Time

https://www.neomindlabs.com
Neomind Labs is a fully remote team providing stewardship services for Ruby on Rails and Elixir applications.
We're currently looking for people with 3+ years experience who enjoy mending as much as making.
We offer medical benefits for full-time and part-time developers.

Please read more and apply here: https://weworkremotely.com/remote-jobs/neomind-labs-elixir-d...
The Reminder Trick
I think it is nice when there is a well thought out spec for something. But in this particular case, I think it is not compatible enough with other tools.

In particular, Markdown has a todos (using the same `[ ]`) and just uses indentation for grouping. I find this more intuitive and it renders in markdown renderers.

For priorities, I have adopted the notation of OneNote which puts exclamation and Unicode star symbol next to the todo brackets.

I also use some other conventions:

[-] for obsolete rather than [~].

[>] for postponed until later

Implemented in my Todo manager TUI: https://github.com/coezbek/rodo
I'm not sure this is the best tool for an import-export format, as it is unable to capture all of the data available in some to do apps.

I could see it being OK as a sort-of data backup format. But it's missing a lot of data that really ought to be tracked by an app, like creation, update, and completion times for each item. Many apps also track priority, sort order, hidden/unhidden status, attachments, and other things. This stores none of that.

Even then, the value is fairly small. In 20+ years of using to do apps, I can think of very few times that I've referred back to completed to do items.
I don't understand why anyone would use ld or gold in 2022. Every distro has shipped lld for years and it links in less than seconds. It's a default to not break compatibility, not because it's good ; makes as much sense to use as ed(1). For reference on a 8C/16T CPU from 2016 an llvm initial build is ~10-12 minutes here.. not instant but not the end of the world either.
Are the police really motivated by this? Or are specific senior figures who are in they public eye and thus don’t want their “reputation” shamed on social media the real individuals pushing for these kinds of legislation?

I’d wager most police officers couldn’t give a rats arse what someone posts online given the barrage of verbal abuse they likely get each day. They would much rather see the streets safer.
Or a dust cover?
Because PC's weren't, from the beginning of its history, desgined for security scenarios.
Ugly Drinks seems to have quietly shuttered operations
In other news today Andy Jassy made $212mn in 2021. So perhaps puff pieces about himself are things that drive him.
I imagine it could be significantly worse than what most people experience when you throw lifetime appointments into the mix.
14.9.2, 14.8.5, 14.7.7 are the patched versions - saved you a click :)
Reverse lockouts came around in the 80s or so, so his 914 wouldn't have one. On older transmissions you're free to try to ram it into reverse at 100 kph if you really want to try.
Pain usually doesn't work this way. It's relatively stateless, as in as long as there is a problem in a part of your body you'll feel pain associated with it, and it's not like the pain goes away once you ack it.
Elastic File System (AWS) | All Engineering Roles | Boston, NYC, VA, and remote for senior roles!! | Full-time

EFS is cloud native file system built from the ground up at AWS. We have tons of interesting distributed systems challenges at scale and are obsessed with delivering value for our customers. Here's a great talk about EFS: https://www.youtube.com/watch?v=O3eAFPEJTbs. You can also check out this recent NH article: https://news.ycombinator.com/item?id=30345921

Mostly we are a back end team working on internal services that make up EFS. We use lots of Java, C/C++, python for various tools, typescript for CDK, and a smidgen of Rust. If you never want to touch web development we can make you pretty happy. If you like web development - well we also have those roles as well (but less of them).

Engineers who do well at EFS have a passion for diving deep and reasoning about cloud scale systems. I think it's pretty interesting but I'll admit I am biased :)

Job descriptions: https://www.amazon.jobs/en/internal/landing_pages/amazon-ela...

don't want to apply online at the above link? email me at carlshim at amazon dot com

Questions? email me.
As a UK taxpayer reading this gives me a rare feeling of being proud of where my money is going.
I make 6 figures. I honestly do not look at food prices when I shop. It's a negligible expense after rent, savings and mortgage.
Another comment has a citation for embarrassment over a previous regional dialect, but I'd also heard the "Not justices' place to question attorneys presenting their case" version.

Which has some merit. Show me someone who can listen as closely while they're also thinking of their next question, and I'll show you a liar.
Cerity Partners | Software Developer | REMOTE (USA) | Full-Time

Looking for a Python developer who is comfortable with Postgresql and ideally has experience in the financial services space. Responsibilities will include developing internal tooling and integrating systems so need to have experience implementing 3rd-party APIs.

https://www.paycomonline.net/v4/ats/web.php/jobs/ViewJobDeta...
How long will it be before the 1950 images are digitized so that they may be searched more effectively?
Meltano | Engineering and Others | REMOTE | Full-Time

Meltano's all-remote team and community of thousands are on a mission to enable everyone to realize the full potential of their data. To this end, we are bringing software engineering best practices to data teams in the form of an open source DataOps OS that we envision becoming the foundation of every team's ideal data stack.

Our public company handbook (https://handbook.meltano.com/) has all the details on our values, all-remote work , where we hire, compensation, benefits, and what it's like to work with us in general. We've got a bunch of opening https://boards.greenhouse.io/meltano.

Backend Engineer & Senior Backend Engineer: If you're a Data Engineer wanting to work on an open source data product in more of a software dev capacity, you should definitely apply! If you're a software dev and want to hack on a popular open source project, you should also apply!

Other open roles:

- Content Marketing Manager
- Product Marketing Manager
- Senior UI/UX Designer
- Senior Talent Partner

If you like one of these role's but feel like its a stretch please don't hesitate to reach out anyway!
I use subitems pretty heavily in my todo_notes.md file as well; to work around the concern over conflict of state, I pay attention to only the checked status of the `large task`. If that parent is not checked off, I know there are still pending subtasks. So I won't really care if there are un-checked subtasks; as long as the parent task is checked I know I can ignore it and move on. Maybe that could be formalized a bit more strongly but since it's only my eyes which will see my todo 99% of the time, I'm fine with it and I know the convention.
I don't have any USB-A requirements on my desk now that I got a new USB-C enclosure for my local backup disk - however, USB-A ports are still useful for most of the userbase... did this monitor team not get the memo about ports being back in vogue for Apple?
the bandwidth of 120Hz/5K is too high for current Thunderbolt connections. It does support 120Hz/4K but the higher resolution puts it over the edge. It is the same reason that the Apple XDR display is 60Hz/6K. Bandwidth limits.

If you are interested in games, you likely don't want a high resolution monitor anyway. Those of us who do need the higher res of 5K value that above refresh rate and are likely not going to play any games on what is more of a work screen. Different use cases.
I used Mac since the 1980s, and been able to tile windows, stack windows, and overlap windows. The Mac would remember size and placement. IIRC, the Mac II could support windows spanning across up to nine monitors of various resolutions, shapes, and bit-depths. MPW had window splitting which was annoying. The Finder has/had Zoom which would resize the window to the smallest size with no scroll bars. I've wished there was an easy way to implement Zoom in other applications.

With small screen phones, the screen is usually filled with only one app/mode at a time. I see a lot of the same use on Windows where there is only one maximized app/mode at a time, even though one can tile, stack and overlap multiple windows. Window's Multiple Document Interface (MDI) has somewhat morphed into "Tabs" which still present only one tab/mode at a time. No modes please. I am looking at the screenshots and videos for i3 and see a lot of scrollbars and wasted screen space. I don't see the advantage of i3 over Mac or Windows, or XFCE that I use in Linux. What am I missing? Maybe I'm good with what I've got.
There's been 115 justices in history, only a fraction of them are recorded and they change infrequently after a long confirmation process. So path of least resistance is to hardcode them into scripts.
> Did this imple­men­ta­tion work? Yes. Did it run fast? No. It was glacial. After noodling with the code for a while, I had my galaxy-brain moment: maybe the inces­sant dupli­ca­tion and dele­tion of 30K data arrays had some­thing to do with it?

I thought OCaml handled this problem with copy-on-write and/or fancy pointer math. Is there more to it?
I made this which is suitable for my needs when mixed with Obsidian. https://github.com/navjack/ConsoleJournal/blob/main/journal....
At first glance it may seem baffling, but if you see it from the “different culture different values” framework, you realize it’s just how people there want their society to conduct itself. It’s no different, from this perspective, to how baffling may seem cultures where burping loudly in the dinner table is not frowned upon, where people really value their personal space or not, and on and on.
>The only fundamental difference with healthcare is that you might suddenly need a lot of it and not be able to shop around.

I mean, that's kind of a crucial difference, though, isn't it? To use your supermarket metaphor, if I'm starving, it doesn't matter if I buy a fresh-butchered sirloin or a jar of peanut butter. In contrast, a diabetic can't just decide to take aspirin instead of insulin - and that's not that's not even getting into more specialized disorders.

The fundamental problem is that any market solution to drug pricing is going to end up with awful prices because:

* Most drugs, by nature, have extremely small sets of potential clients relative to their cost of development

* For those who need drugs, they have an inflexible demand for the drug (buy it of suffer/die), and the drug is essentially non-fungible with other drugs.
So you're kinda on the right track. What happens is that we have a specific range of regulation that our neurotransmitters and receptors etc fall into based on our genetics which could be a bit modified through epigenetic means.

That range of regulation is what we drift towards when we start adapting to an exogenous compound (some drug) that is consistently present through repeated dosing.

Considering that information, we do adapt to become "normal functioning" (according to the previously mentioned genetics) and it becomes more difficult again when we suddenly remove the drug (again forcing us out of that range that our genetic regulatory mechanisms would like us in)

During periods that we are using the exogenous compound we can form new habits driven by changes made by the drug which can stick around after removal, as removal of the drug won't suddenly undo many of the synaptic changes that occurred. I think this is what we can call the integration of experiences and I think that long term potentiation is a big factor in those changes (which is a pretty neat topic on its own, I'd recommend reading about LTP if you want to understand some of the mechanisms of learning)
Mostly because they spent all their time shouting about it when he was initially arrested. Why get worked up twice over the same issue? UK gonna UK.
Ask HN: Why do we bother screenprinting mass-produced PCBs?
I was reading the recent front-page article on Apple power supplies[0], and this image[1] caught my attention.

I’ve been used to seeing white screen printing on PCBs, never really asking why. But… why? Between the ink for billions of PCBs produced every year, plus adding the screen printing step to the process, these have to cost some real money for something no customer really cares about.

Maybe it’s useful for development, return-from-field debugging? Maybe for alignment of automatic pick-and-place machines?

Just curious what the tradeoffs are in reality.

[0]: http://www.righto.com/2015/11/macbook-charger-teardown-surprising.html?m=1
[1]: http://www.righto.com/2015/11/macbook-charger-teardown-surprising.html?m=1
Location: Indiana - some travel OK

Remote: yes

Willing to relocate: no

Technologies: business / media

Résumé/CV: https://www.linkedin.com/in/quirk

Email: quirk@cardinalspirits.com

Looking for contract, P/T, or fractional
Google Docs will start nudging some users to write less dumbly
And furthermore, human context is necessary but not sufficient:

(nsfw) https://www.youtube.com/watch?v=TT8-5KBInls
I think the author is reading too much into the terminology of "action" and "quantum of action" which may have made sense in Planck's time but has since been superseded.

Here is what I think is a more modern understanding of the situation. It is true even in classical physics that a circularly polarized electromagnetic field carries angular momentum, and that E = L*omega, where E is the energy, L is the angular momentum, and omega=2*pi*f is the angular frequency of the EM field. See Feynman I-33 last paragraph, https://www.feynmanlectures.caltech.edu/I_33.html

Now, the experimental fact is that L is quantized in multiples of hbar=h/(2*pi). Thus you can derive Planck's results from the assumption that angular momentum is quantized. So the photon is really a quantum of angular momentum, which happens to have a non-quantized energy. But Planck's didn't know that, and worked with quanta of energy proportional to the frequency. (It's not like Planck was wrong. His theory was a necessary step towards the discovery of the deeper result that angular momentum is quantized.) Planck's constant of proportionality has the units of "action", which is the same units as angular momentum but "means" something different. The author starts with energy=action/time and attempts to reverse engineer the energy into quanta of energy, which as far as anybody knows do not exist, instead of starting with energy=angular_momentum*angular_frequency, where the angular momentum is truly quantized.

The author's theory falls apart when you realize that angular momentum in general is really quantized in units of hbar/2 (not for photons but for electrons), in which case her theory of energy being quantized in terms of a full oscillation of light becomes untenable, since you would have to quantize in terms of half an oscillation, at which point why 1/2 and not 1/3 or 1/4? Whereas there are legitimate geometric reasons why an object rotated by 360 degrees would change sign but yield the same physics. See https://www.feynmanlectures.caltech.edu/III_06.html
One other small thought I have is about the name. It's common to use "xit" in popular JavaScript test framework like Mocha and Jasmine to indicate an excluded test. Could cause some ambiguity or an unwanted association.
Indeed, I’ve had my desk set up to have the middle of my screen line up with my eyes to keep my neck straight. When I have to use a more traditional setup that has my face tilting down a bit, my neck quickly tells me to stop.
Ford will sell you an electric crate engine for $4k [1]. At that point, I think it's up to you to supply the other parts of the system.

I assume that at this point there are enough wrecks of Model S/X/3/Y that you should be able to pick up electric motors from them at junkyards.

The thing I really worry about with electric swaps is battery. You could have a Note 7 situation on your hands _real easy_ if you're not careful.

[1] https://performanceparts.ford.com/part/M-9000-MACHE
Yep! There are some good resources at https://evwest.com (not affiliated but have bought parts from there before).
This isn't "affordable insulin", it just limits the copay to $35. Pharma companies can keep charging abusively high prices for insulin, and force insurance providers to pay for it[1], which then trickles down to make everyone pay more, while allowing pharma companies to rake in profits. This is socialized medicine + cost disease[2], which I'm surprised and disappointed that anyone voted on at all.

[1] https://news.ycombinator.com/item?id=30879824

[2] https://slatestarcodex.com/2017/02/09/considerations-on-cost...
Does that one work with one DP 1.4 port or do you need two to drive it at 60Hz?
SiSix, a company developing RISC 6 and Nim
I went to look up the amendments, of which there was only one, which seems to have been accepted:

https://www.congress.gov/amendment/117th-congress/house-amen...

which, on its face, looks pretty boring, but that amendment includes this bill:

https://www.congress.gov/bill/117th-congress/house-resolutio...

which decriminalizes cannabis federally.

I'm not saying anything one way or another, but it's rather interesting this hasn't been mentioned.
https://www.five9.com/products/gamification
Wayland (as in the protocol) doesn't support it either, FWIW. Fractional scaling on compositors which support it (e.g Sway) renders everything at the nearest integer scale and then downscales when compositing, so everything becomes a bit blurry -- just like how macOS does it.

Using all vector graphics for the GUI so that you can freely change the scale is all well and good, but lots of GUI applications need raster graphics too. With integer scaling, you just have different image assets for the different scales. With fractional scaling, there isn't really a good solution; you could automatically downscale a higher resolution image, but then you get the blurriness problem.

GUIs also use lines a lot. If an application asks for 1pt wide lines, and you're at 1.5x scale, what do you do? Do you draw it at 1px wide, and end up with a line that's too light? Do you draw it at 2px line, and end up with one that's too heavy? Or do you make one line of pixels that's solid and one line of pixels that's at 50% opacity, which gives the right visual weight but makes it look blurry and messes up the positioning slightly? This probably isn't a huge problem, but it's the kind of problem that it makes sense if Apple wants to avoid.
What Actually Happens When We Experience Inflammation?
Your going to need something better than that: https://skeptics.stackexchange.com/questions/28557/are-the-m...
Indeed. Applying it to the former case seems like an abuse of the word "efficiency" to me.