skysight-inc/HackerNews huggingface dataset:
From what I understand he used Mario 64 decomp code.

The game was reverse engineered as 1-1 compilable to the original rom.

[1]:https://github.com/n64decomp/sm64

Fun fact: The people who did this moved on to Zelda 64 Ocarina of time and recently completed that project as well

[2]:https://zelda64.dev/

There are ongoing projects by other people for Mario Kart 64, Goldeneye, Perfect-Dark, Banjo-Kazooie and others although I think the next target for completion may probably be either Majora's Mask or The Minish Cap.
My humble LP needs have always been satisfactorily fulfilled by QSopt and COIN-OR solvers (Clp/Cbc). I guess I'm just too boring for anything fancier.
> But how is the concept itself flawed, except to self-rationalize theft/piracy?

People want to buy content and yet they can't due to this bullshit. It's that simple. Nobody cares who gets paid or not, they want the thing and the copyright industry is failing to deliver. Guess who's not failing? Pirates.

You have it backwards. "Piracy" is actually the natural order of things, it doesn't need any rationalization. It's the copyright system that's self-rationalizing. Artificial scarcity is an illusion, data is infinitely abundant. It's how computers actually work and also how they should work, there is no need to justify it. It's the copyright industry that keeps ruining it for us with their eternal campaign against computer freedom just to protect their irrelevant business model.

> Are you arguing my desire to watch the movie should override James Cameron, the producer and copyright holder's decisions on when or how to sell their artwork?

Absolutely it should. That work was released almost 20 years ago now. By all reasonable expectations it should already be part of the public domain. What the creator wants doesn't matter, he's already made his fortune off of it and it's time for him to move on to new creations instead of milking past successes forever.
Who is the intended target of this quote? (Is it Musk, or Mike Masnick?)
A Raspberry pi is $35, for the latest model, and you definitely do not need an enclosure. You do need a power adapter, which may be around $10. But also, an older Raspberry pi can be even cheaper!

I'm not advocating for people hosting sites on a Raspberry pi in their homes, but it's certainly easy to do and if your operation is small enough and you have an extra computer lying around the cost is actually near $0.

Pretty much every ISP I've used in the US has had mostly static IPs. They usually didn't change unless the modem got rebooted. This is good enough for your minecraft server or unimportant personal website.

But of course if your residential internet is no longer serving your hosting needs, you can go a step up and get a virtual host or colocate your old computer! Yes colocation will cost a lot more than a virtual host on a PHP shared host, but you also get more computing bang for your buck.

Sysadmin-ing is not the boogeyman it once was!
2010: In an early step toward letting severely paralyzed people speak with their thoughts, researchers translated brain signals into words using two grids of 16 microelectrodes implanted beneath the skull but atop the brain.

https://www.sciencedaily.com/releases/2010/09/100907071249.h...

2014: https://www.technologyreview.com/2014/07/09/172124/a-speech-...
The tools and terms they use to grind us down into story points are the same everywhere...
> Then you can just start messing around and seeing what kinds of things make the number go down.

And this will almost certainly require a deep understanding of the instruction set, and dropping into inline ASM, periodically.
Ten Years of Gartner “Magic”
I pretty much forced my kids to doing things unsupervised starting around 5. I'd have them go to the mailbox at the end of the street, around the corner just out of view, and get the mail. 1 out of 3 kids was hesitant but I sent her anyway. Then they branched out to the park a couple blocks away, by then they were asking if they could just go - they had learned to be comfortable alone in the world.
Yes

E-A-T: Expertise, Authoritativeness, Trustworthiness
The severity of bullying is a spectrum, and some of it can ruin someone for life. Claiming it's good because other things can be worse is another example of the fallacy of relative privation, and is not really a valid argument.
Flight tracking: https://flightaware.com/live/flight/GKA264/history/20220420/...
I have a random off-amazon 2.5gbps usb ethernet adapter on my M1 and it works great. I did specifically make sure someone said it worked on a mac, but wasn't sure about on ARM.
One approach is to eliminate congeners, the stuff that adds the flavor to alcohol but is also strongly related to kerosene. There have been hangover pills that actually do seem to work to some extent, RU-21 and Chaser, both no longer sold I think. I've tried both. RU-21 is weird, I can't describe it, I didn't like it, it made everything taste sweet. Chaser did seem to reduce hangovers but also made the mind clearer while drinking, which reduced the fun somewhat, which tended to make people drink more. Not sure why they were taken off the market, I've never been able to find an explanation. Activated carbon pills are also used by some people to reduce hangovers, which I think absorbs some of the congeners.

I think the main problem is the breakdown of alcohol into acetaldehyde, it's the acetaldehyde that is poisonous. We've found methods for dealing with other poisons after ingestion, maybe some of the same methods would work for acetaldehyde.

Drinking alcohol also depletes the body of water and B vitamins.

So those areas seem like the place to start.
Congrats on the build! I had a similar idea and worked on a similar project a few months back: https://infreq.social/ it obviously doesn't have the same polish that your project has, but the mission as far as what the end goal is for the frequency of the user viewing posts, and the ideal way of monetizing the platform are very much the same.

It's great to see that I'm not the only one with this crazy idea!
Regarding #3 I think it's a completely broken industry practice and I would not take it on me, but I would try to find companies with different hiring practices. As you described, this whole Leetcode industry is demoralizing and hurts almost everyone for very small benefit in general.

In our company (and my previous too BTW) I was strongly advocating working on real problems during the interview. I find it really troubling that the industry still sticks to this outdated way of interviewing (I refer to Leetcode) instead of:
A. Having accreditation which would require renewal after X years
B. Having other types of competency checks

I really don't understand how Leetcode is superior to let's say Coderpad or Codeinterview.io (I am not affiliated with either of them).

These tools actually pretty much allow you to set up a relevant coding exercise in the candidate's preferred language and framework, and it only takes a few minutes to customize their templates to the candidate's experience and the interviewer's imagined coding problem.

Just yesterday I set up a React coding problem in just below an hour, which allowed me to ask relevant questions about: language syntax, state management, routing, code organization, system performance, error handling, and data organization among others.

Isn't that the end goal here? To ask relevant questions from the candidate so that we make sure his skills match the imagined role and/or project?

Based on all this above, if I would be back to interviewing now, I would generally take it as a signal of a broken organization, lack of clarity about the role/project in the company, if they would shove a Leetcode/Codility/Hackerrank coding problem first in my face without asking.
FICO Xpress (not free) has been very good in my experience.
Army didn’t think to inform ATC of what they were up to?
Do we fully process everything we eat? What role does insulin have in how we process food, and how is insulin controlled?

I generally agree that too many of us eat too much for our own good and that of other life on the planet, but to reduce the issue solely to caloric intake seems off.

From my own experience, timing and order of what I eat matters more than total calories. If I eat a morning meal until I'm full, well that was fun but now I'm tired, and the day just started. If I start the evening meal with bread or a handful of chocolate chips and eat the greens and veggies and fruits last, I feel different than if I do it the other way around, a worse-different. I suspect there are reasons (some for health, some for economics) that multi-course meals include a salad early on. Since I'm not couting calories, and I am eating until I'm full (regardless of how many meals I eat in a day, which is part of my problem, and why I spend more time fasting these days), I don't actually know what the calorie difference would be if I mix up the order, but I've settled on starting with the plants and fats, then proteins, then carbs and that feels good. On days (thankfully not habitual, now) when I snacked all day, interspersed with full meals, I had acid reflux, low energy, was irritable, had teeth problems, and gained unwanted bodyfat. Lump all those calories into two full meals (a lunch and dinner, say) and I felt better. Bring it down to one meal a day and I feel better yet (and, to your point, I'm likely consuming fewer calories, so win-win?). If I was more physically active I might do it differently.
>I really hate the type of guy who is lurking around enthusiast forums looking for topics to "cover" on his next YouTube stream. Yes, these guys exist.

Actually that sounds like a decent idea. You lose nothing by not watching the video and instead focusing on the forums and others who would not otherwise spend time on the forums can be made aware of exciting developments.
What did happen with the lapsus stuff?

Will nvidia switch to open source or their hardware verilog/vhdl and driver code were leaked?
Have fun blaming the "last guy" for almost everything, that sure worked out so far for the "current guy's" approval rating and will definitely not help the last guy win if he was to try again. This is even more ridiculous than even the "thanks Obama" reflexive blaming conservatives had.

I don't think you realize how self defeating and ineffective it is to find every tiny reason to deflect blame from "your team". Saying that "actually.... Biden couldn't do it because of some officials in the DoE and totally couldn't have known that this was possible when he made the promise, oops!" is such a cop out. It's obvious that the Biden team knew exactly how the DoE worked, and if x or y promise is feasible or not.
I’ve used GNU MathProg (via https://online-optimizer.appspot.com/) and Z3 (via its Python bindings). I appreciated, with Z3, being able to use the existing syntax of Python, though some of the errors I got were confusing. The ease of installation/usage for the online-optimizer web UI is hard to beat.
According to the article they did.
If I were king of the country, I would institute a federal property tax on single-family homes that is equal to the state property tax times the number of homes that you own for as long as homelessness is over 0.05%. Right now, we're at 0.2%, so homelessness would need to be reduced 75% in order to obviate the tax.

Further, if a non-human, non-bank entity was listed as the owner of the home there would be an automatic additional federal 2x state property tax fee on the property as well. These tax payments would further not qualify to reduce the taxes owed on your other incomes.

Banks and other such lending agencies would only be subject to the property tax penalty if they did not list the home for sale at fair market value within 60 days of acquiring the deed and they would be required to accept an offer that met the fair market value requirement. (i.e., if they only got bids for $50k under fair market value, then they wouldn't be required to accept those bids).

The monies generated would be used to fund anti-homelessness measures across the country. This would make it unbearably onerous to own more than 2 homes for all but the richest Americans, and it would make it so that people who are using real estate ownership as an income producing machine would lose out on that income.

This decree would be set to roll out over a 4 year period to give the mom and pop airbnbers and other non-financially entrenched in the real estate market companies time to liquidate their equity in the housing market. Those companies that are fully dependent on rental income from single-family homes would have no motivation to purchase the newer homes on the market as each additional home would add a federal 1X multiplier to their tax burden, housing would decrease in value, more people would be able to buy in, apartments and multi-family homes would become more readily available and the prices would decrease, more people would be able to afford to rent an apartment, and fewer people would be homeless.

That's a win all around except for any company that fills its pockets by sleeping on its horde of unused homes like ancient dragons and ill-gotten gold.
one way or another this is pretty weird. I don't suppose we'll get a full explanation, but it would certainly be interesting.
I certainly sympathize, but I'm not sure what this has to do with land tax. If cities can't efficiently provide infra to certain building patterns, they should either reduce their guarantees ("You can build there, but you'll have to lay down wire yourself"), or prohibit building differently. Both seem compatible with an LVT.
...until you realize that owning hardware is the cheapest option.
> includes [...] trans women

That's the very issue people who refuse to define women have: it's very difficult to define "women" if it has to include some men.

Otherwise it's very simple to define.
Going off-grid is really expensive unless you're willing to make significant quality of life cuts when you go outside your system capacity. A string of overcast days that only produce 50% of normal, or a series of hot or cold days that drive large A/C or Heat Pump usage can put you in a situation where you are shedding load during the day so you can bridge across the overnight period.

I expect it's just probably doable in a really temperate climate like SF, where you can live without running heating or cooling year-round and try to get your other electric usage way down, but anywhere with hot summers or cold winters is going to risk battery depletion.
Pregame demonstration causes brief evacuation of U.S. Capitol
Django + HTMX is truly awesome to work with.

It reminds me a bit of Phoenix LiveView in the Elixir world.

One note though, the use of `hx-boost` will not update the address in the URL bar, which is problematic if you refresh the page.

Also, I'm using TailwindCSS within my Django templates. At first I didn't like it, I was not understanding the difference with writing `style` attributes and it looked like an anti-pattern to me. But after using it for a while, it's just quicker to refactor, and easier to get it right.

The next thing I'll try with HTMX is to integrate it with SVG. How awesome would it be to have C4 models or other diagrams where you can click the boxes to "zoom in"? I wonder if PlantUML can generate partial diagrams...
> Pretty much the only systems that more or less get math right are the mathematical libraries for proof assistants (Lean, Coq, etc.). The mathematical structures and interfaces in Lean's MathLib are actually pretty close to what I'd like to see in a CAS.

This comes with HUGE practical disadvantages. Yes, it would be possible to use type theory to make a mathematically rigorous CAS, but it would never be practical. Anyone who has ever tried knows that even proving something trivial like a+b+c+d=d+b+c+a in a theorem prover requires a suprising amount of ingenuity. There are few people in the world who have the skills to define and prove something more advanced like Buchberger's algorithm, and a task like that would probably require several math papers worth of new research just to produce the slowest implementation known to mankind. And it would take years.
They are happy to accept any benefits that come from the "external service" operating on their behalf.

If the "external service" wins some money or closes down some competition, do they give it back and say "look that was an external service, nothing to do with us"?
> The chief difference is that the segment of the media dedicated to keeping people fearful

Also, there is the Citizen app. I wonder if it's driving perception more than anything else. When I've talked to people in safe cities who nonetheless were ranting to me about crime, I've asked them if they have Citizen, and very many do. Not strong data, but I would love to see some research.
apt-get install linux-tools

perf record -g myapp

perf report

Play with the output for a few weeks. "Why is this slow?" is a never-ending question leading down infinite corridors and weird specialist tools.

Cachegrind and VTune are also instructive to play with
The demonstration involved US Army members parachuting into the stadium. How the heck are they not on the same page with the Capitol?
That first sentence could replace the entire paper. Growth functions are inherently/fundamentally exponential (regardless of whether we're talking about bacterial colonies, populations of rabbits, compound interest or ROI), but the forces that act on the exponent change over time. It really is this simple.
This piece is written by the author of Station Eleven.
TLDR: one part of the US government didn't bother to inform another part of the US government what was going on.
C is not that deep. In the end its just something that produces assembly/machine code: jumps, reads writes etc. you need to get a feeling for what the compiler outputs for a given input (try Godbolt!). Then you need to know how those outputs will perform on your target hardware. This video is a good example: it states, modern compilers unroll loops, because they usually perform better on modern systems, but not the N64. So knowing your hardware is just as important.
If I use the Raspberry Pi browser to deploy via the AWS console does that count?
> Safer than rural areas where everyone knows everyone and there’s enough law enforcement to work on a 1:1 basis?

I remember talking to one farmer who said he had a gun because, where he's from, the police are only there to clean up. They can't get to a crime scene in time unless they are lucky to be nearby, and have very few resources for investigations or other operations.
It's an invasive species. We wipe them out all the time.
there was a hoax video based on extracting audio from ceramics thrown on a potters wheel in 2006. It's an idea -- paleoacoustics -- that's popped up a few times in scientific speculation and science fiction: http://itre.cis.upenn.edu/~myl/languagelog/archives/002875.h...
Even if California shut down all of its hydro power, the dams would stay because the state is constantly in a drought and desperately needs water.
It may be still better to run nuclear plants then. We'll need data from modern nuclear designs, (especially the small ones) but renewables are not exactly free to run. Storage degrades, solar degrades, lithium needs to be mined, turbines mean lots of mechanical parts, etc. We may learn that running just the renewables common today is even more uneconomic.
This is a great signal of which companies value their employees or not.

In my experience, all the good startups are transparent in helping employees evaluate equity offers. Ex. all YC companies I interviewed at were happy to share info on outstanding share count, valuations, and even preferred stock.

Meanwhile other lesser startups (often run by finance types) thought I was insane to even ask.

It's clear which group actually values engineers.
Ahah, I found the tables! You have to go into Zim's settings and enable them as an addon in there. Ty, I thought there was no support whatsoever (other than putting pictures of tables in https://github.com/jaap-karssenberg/zim-wiki/wiki/Create-a-t... ).

Indeed it still seems a bit limited. Nothing like Firefox's in-built table editor used to be (this is the one in Thunderbird, which is quite nice). I wish they hadn't removed that feature :|

Treesheets is a beautiful program, but I'm too much of a pen-and-paper + plaintext notes person to appreciate it properly.
> If you stare at anyone long enough they will get mad

Well, yes, but decent and functional human beings don't react that way to children.
The 9/11 hijacked planes were also emitting tracking signals. A military plane entering the Capitol exclusion zone unexpectedly might trigger an alert if they can't immediately figure out why it is there, in case it's being piloted by someone who has gone rogue.
I'd say Vale's thesis is "Rust level performance without the pain." By making our borrow checker a lot more flexible with shared mutability, we're able to lower the learning curve and architectural restrictions significantly. This could make it a better solution for servers and games, and opens the doors to things like GUI and apps, where Rust could never really fit well.

Though, it's a lot more than that, Vale's also doing some pretty crazy things with concurrency [0], determinism, higher raii [1], and region isolation, all of which will help with preventing and detecting bugs.

[0] https://verdagon.dev/blog/seamless-fearless-structured-concu...

[1] https://verdagon.dev/blog/higher-raii-7drl
That makes sense. Thanks for the tip, too - I might give it a shot. If I start getting segfaults then I'll know what happened!
Optimizing memory layout and reducing allocations are pretty ISA-independent. But yeah, at some point you will have to start looking at the assembly to optimize further (even if only to know when to tell the compiler to stop inlining a function that causes tons of register spilling inside a tight loop).
SpaceX shut down a Russian electromagnetic warfare attack in Ukraine last month
This isn't the first time I've heard allegations of Binance and Bored Apes and other crypto things being connected to neo nazis somehow. Could someone with a little more know-how give me the rundown on this?
Morality as defined by God. Muslims use Islamic Law as the Source of Truth for morality.
IIRC the parasite simply doesn't survive in those species.
If your personal banks (in the US) are charging you fees, you need to find different banks or stop doing the things that require fees.

National commercial banks do like to find fees for everything, but most/many credit unions have 'no fee' accounts, and so do a lot of banks. Sometimes no fee means a lot of hoop jumping, but often not.

Business banking is different; a lot of credit unions don't touch business banking, and there's a lot more services businesses might need so more nickel and diming to take place.
Is there some nuance as to how this is set up? The company buying back the stock when you leave seems particularly interesting: if the valuation has changed in between when you start and when you leave, the company either buys the stock back at the new, higher price (in which case you make some cash on unvested stock) or the company buys it back at the original price, and from a tax perspective you are selling it to them priced under fair market value and the company owes taxes on that I think? Is there something I’m missing?
yes alot...

I started to write up a page to track the "business of solvers".

https://solver.news

Should be "launching" in the next week or so.