skysight-inc/HackerNews huggingface dataset:
As I recall, memorization usually involves associating the results of calling a pure function with the particular input values so the computation of the function is reduced to a lookup operation.

The calculation of the pure function is still used for any other combination of input values.

Supercompilation looks at the unevaluated symbolic recursive code and replaces the code in some cases with simpler, specialized code tuned to the actual input values, so does a memoizing not only of the result, but the code used to calculate the function to begin with.
> None of that is unique to Catholicism.

Correct. Organizations besides the Catholic church also get criticized for that kind of behaviour. (To various degrees, due to public awareness, religious or media or political or national or personal bias, or the fact that nobody outside the West Nowhere Parish in Nowhere cares about a regional, 800-member church scandal.)

The Catholic church is a big organization. As in any big organization, there are aspects of it that are good, aspects of it that are OK, and aspects of it that are utterly, irredeemably rotten. And it's up to the church to figure out how to navigate that complexity.

Given how hard it's been fighting accountability in this space, even very recently, I can't say they are doing a great job of navigating it, but that's just my opinion.
SEEKING WORK | UK, REMOTE

16 yoe developing software systems with FOSS and contributing back.

In the past I got my bits of fame for WHDD https://whdd.github.io/demo/ and the analysis of energy consumption by mobile chat apps: https://decentim.grafana.net/public-dashboards/92602d3a4aa84...

I've worked in many areas, notably back end, multimedia streaming and communication services (IPTV, CCTV, VVoIP), Linux kernel drivers, debugger development. My contributions to FOSS include the kernel, FFmpeg, GStreamer and Gentoo.

Github: https://github.com/andrey-utkin/
Website: https://autkin.net
Email: hn@autkin.net
In my experience it all depends on what kind of codebase it is (product? library/framework? private company? opensource?), commit velocity, release cadence & how the codebase is used in general.

In low-velocity opensource libraries, good and clean commit messages can be really helpful when debugging arcane issues. I used to be maintainer of a frontend framework & widget library and we tried to have good commit messages as we'd often go back when over old commits when fixing bugs.

I agree that using git from command line for blame is not easy, this is something I always do from GitHub UI instead.

When GitHub is the repo's choice for PRs, and the codebase is product codebase with high velocity, having a pristine git history and clean commits and commit messages is not practical; however, the expectation should be to at least have good PR descriptions. When blaming commits in GH UI, it's easy to go to the PR which introduced the commit (it's linked below commit title); and PR descriptions can be enforced via templates in .github folder.

PR descriptions have an advantage that they can use images, videos etc. to better explain what they change. This is especially useful for frontend codebases.

I work on a big frontend monorepo. We have tools in place to do visual bisect between pull requests (each PR gets its own preview env). We very much do read PR descriptions when doing bisect to confirm which of the recently merged dozens of PRs introduced a regression in production N hours ago.

But in general I agree that commit messages are not good place to storage general knowledge (they're good for "what and why is changing here"). For documenting gotchas etc. I prefer to have code comments in relevant places of code; or README.md in subfolders. (Sadly, I notice most programmers just don't document anything anywhere at all).
Location: Seattle, WA

Remote: Yes

Willing to relocate: No

Technologies: Work experience (so far) has been primarily in the Windows developer ecosystem, so mostly C++/C#, with some TypeScript/React

Résumé/CV: https://drive.google.com/file/d/1sKFUjfv3JfRE9vZGNiSHC-aAYhC...

Email: lily j george at gmail dot com

About me:

Worked on Windows at MS for about five years; resigned last year to spend time focused on my other passion (Mandarin). I have a strong background in UX/HCI, and am generally regarded as "an engineer who understands product." Known for communication skills and for being friendly and approachable, I'm the dev you send to speak with partner teams and the teammate people go to when they need help understanding or explaining something.

Would ideally like to work in person! But down for remote if the opportunity is right. Healthy and friendly team dynamic matters a lot to me.
While this has mostly held, there’s a big push to redefine anti-trust. That’s what the MSFT-Activision case was actually about beneath the surface narrative. The challenger jurisprudence lost, but it got pretty close and has lots of political support.

(see: Lina Khan’s management of the FTC, or “New Brandeis movement”)
Not for all jobs like traditional industrial German companies where everyone speaks German and have little foreigners.
How exactly are those figures arrived at, since insane amounts of abuse went on unreported for...centuries?
https://www.4dayweek.com/
It seems like there are a lot of extensions that are being built for sqlite. I would like to use these extensions, but I am skeptical about their support over time. I like sqlite for how freakin stable it is. How do people feel about sqlite extensions?
Postgres Insights in Your CLI
In what way has Firefox dropped PWA support? They continue to support all the major APIs relevant to PWAs. Which you can see a thorough list of on Mozilla's MDN docs here:

https://developer.mozilla.org/en-US/docs/Web/Progressive_web...
There are two different things people mean when they say "mathematics". (Probably lots more, but I'll focus on two.) There's mathematics that is invented, and then there's mathematics that is discovered. The "math that is discovered" was already there. It must be true. It was true before our universe existed, and would be true in every other conceivable universe. It is very difficult to believe that any of this math that we discover could possibly not be useful. It's what reality is made out of. How could a deeper understanding of reality not be useful? And I assert that it is simply not possible to know whether a given discovery would be useful before you discover it; how could you possibly evaluate a discovery's usefulness before you even know what it is?

The "math that is invented" is attempting to describe this more fundamental math. These are the terms we come up with and write down in papers, the symbols we use, etc. Sometimes we discover that The X Theorem and The Y Theorem are actually describing the same fundamental math in different ways. Clearly this descriptive math can vary in usefulness. How simply and clearly does it describe the underlying "ideal" math? Does thinking of it this way lend itself to immediate application to make human lives better? Does it help us discover even more math?

Almost everyone who criticizes math is missing this distinction: they're criticizing the writing, the models, even the institution of math. Some of those criticisms have merit; most don't. Either way, they tend to overlook the fundamental math that was already true, already there long before our universe. You simply cannot identify whether or not a given mathematician is "wasting their time", because you cannot know what underlying fundamental math they might be about to discover, and what its uses might be.

If I were in charge of giving out grants for general-purpose math research, I would not attempt to quantify "usefulness" at all. The main metric I would try to optimize for would be breadth. I'd prioritize the math that seems to be exploring areas that haven't already been thoroughly explored, or making connections between areas of "described math" that currently seem only distantly related. In our current institutions of math, there are forces that push toward increased breadth and forces that push toward conformity (decreased breadth). It might be enough to simply work against those conformity forces -- demanding "usefulness" is a conformity force.
I'm not entirely sure that those were all Kubrick's tricks though. Classical music is used throughout the book as a way to humanize Alex playing on stereotypes that someone who would've been more refined and upstanding than Alex's character was. While I can't remember what was in the book, it's entirely possible that Alex's narration of the the fight had mentions of music.

I also would argue that Kubrick's tricks weren't all that effective, in that they didn't really humanize Alex or pull the viewer into Alex's perspective, but rather just made the film into more of spectacle.

A lot of the visual elements of the movie struck me as very cartoonish in a way that wasn't conveyed at all in the book. The book is not all that descriptive of aesthetics and visuals in terms of fashion and architecture/decorations. I feel like those are some areas where Kubrick took the most liberties (because there wasn't as much to go off of) and I just found it distracting.
Location: Portland, OR

Remote: Highly Preferred

Willing to relocate: I'd prefer to stay in OR/WA

Technologies: Python(Django|Flask|Fastapi), Javascript/Typescript, many others to various extents

Résumé/CV: https://liberfy.ai/resume.pdf

Email: ccarterdev@gmail.com

Github: https://github.com/cc-d (those are real commits)

Shill: I'm working on something called open2fa that I want to have launched within a couple more weekends max, I think it's pretty cool. https://open2fa.liberfy.ai/ here's how it works.
c.f. https://news.ycombinator.com/item?id=39220027, or TFA*. They're doing a gish gallop, and I can't really justify burning more karma to poke holes in a stranger's
overly erudite tales. I swing about 8 points to the negative when they reply with more.

* multiple sources including OP:

"The SDXL VAE of the same architecture doesn't have this problem,"

"If future models using KL autoencoders do not use the pretrained CompVis checkpoints and use one like SDXL's that is trained properly, they'll be fine."

"SDXL is not subject to this issue because it has its own VAE, which as far as I can tell is trained correctly and does not exhibit the same issues."
Arro | Senior Backend Engineer | Remote | Full-time

Join Arro in revolutionizing credit access for millions. As part of our engineering team, contribute to a platform that combines financial literacy with innovative credit solutions. Enjoy competitive salary, equity, remote work flexibility, and a culture focused on learning and growth. Apply now to make a real difference.

Arro is seeking a Senior Backend Engineer with 7+ years of experience, proficient in Node, Typescript, JavaScript, and AWS. Ideal candidates are problem solvers with strong CS fundamentals, eager to mentor, and skilled in Agile environments. Join us to build fair credit access. Benefits include competitive salary, equity, and more.
No LeetCode on interview, just a cool set of coding tasks!

Apply at LinkedIn: https://www.linkedin.com/jobs/view/3812015694/
I have a tv that shipped with Google TV and I've seen this chicken tender advert on it this week.
All of that is factual

You're sort of singling out Catholicism though. Islam does all those things much much worse than Catholicism ever has - in the present day too! I'm not Catholic and I don't care to defend them. Still, I don't want them singled out when Islam is demonstrably worse in every way.
Measuring output is hard, so people are emotionally and behaviorally married to the performance art (appearing busy) vs objective measures of output.

The only way to show it's possible is through experiments, which have been very successful showing limited reduction in productivity moving to a 4 day work week (which benefits workers by allowing them to live more full lives vs toiling at work an extra unnecessary day per week).

Another example is the 900+ school districts in the US that have moved to a four day week, as it is the only way they can retain talent.

As with everything, it will come as the population turns over, older workers aging out of power and relevance (either through retirement or death), and younger workers aging in with different ideas of work arrangements. Progress occurs one funeral at a time - Planck

https://www.cbsnews.com/newyork/news/companies-around-the-wo...

https://www.washingtonpost.com/wellness/2023/02/21/four-day-...

https://www.nbcnews.com/news/world/uk-employers-4-day-workwe...

https://www.thestar.com/business/could-a-4-day-work-week-wor...

https://www.npr.org/2023/11/08/1211632901/schools-across-the...

https://www.cbsnews.com/news/school-districts-4-day-week-tea...
I put that kind of thing in the pull request, since that's where the review happens. Every commit links back to a pull request, and people actually do refer back to it. Writing good documentation there is part of the job.

No-one's going to ALSO write commit messages that no-one will see.
Big Berlin start-ups probably are fine in English, but from most of the browsing on LinkedIn, I'd say if you venture out of the big start-up scene, you won't find English there, and that's the vast majority of tech jobs.
Don't have cars, don't need seatbelts;)
> The fact that it can be described mathematically (even if it's infinite!) means it already exists within the structure of mathematics.

This is absolutely meaningless though. The structure of mathematics is infinite. Just because it exists as something unrealized does not at all mean it is equivalent to something manifested with substance as you suggest.

> Everything that is implied mathematically from the starting state is implied just as well even if you never evaluate it.

Well that's kind of horseshit, because you don't know what input to give.

And you can't practically compute all outcomes for all possible inputs since it's an infinite address space.

So the point you're trying to make, your conclusion doesn't follow from the premise, and the premise while technically true is completely irrelevant for any and all practical purposes.

> Running the simulation doesn't create anything inside the simulation that wasn't already implied by the initial configuration.

When you play an FPS game, nothing that happens in the game isn't "implied by the initial configuration", yet you can't have an accurate output of how each match will go.

> whereas I'm saying the results of arithmetic operations were always there, because they can be defined by rules.

You're saying it is not a simulation at all but a detailed description where every outcome is already known. Nothing is being simulated. That's quite a different argument and proposal from considering if the universe is a simulation or not.
Short Overview of Quantum Computing
There are 100 cents in a dollar fyi.
> Reputation is basically meaningless here. If they fix the software, people will figure that out in short order.

What matters is not just "the software is working", but also "the software will keep working" (for both new releases and new hardware). Reputation is meaningful for that.
at that point its not worth it, to depend on an external provider, simpler to just code it myself and have 100% control, but you do you.

Btw cool startup! (ClearAlpha) , good luck with it !
Tom Clancy wrote about this in one of his books. It seems very plausible.

https://en.wikipedia.org/wiki/The_Bear_and_the_Dragon
It's also what I, as a user, want. I don't want some middle-man corporate "platform" (of which there are very few to actually select from to suit your personal tastes) inserting their vision of what UIs should look like into interactions between me and the service I'm connecting to. I want my platform to be as invisible as possible and interchangeable with other platforms. The more things stay the same when switching between platforms, the better.
You seem to infer an emotional or psychological reaction to what is a rather straightforward question: today people typically work 5 days/week to get some amount of work done, so the most-simple assessment is that working 80% of that time would result in 80% of the work being done.

Rather than saying people are stockholm-syndrome'd ants who dislike freedom and positive changes, by what reasoning does 100% of work get done in 80% of the time?

Potential ideas would include:

* Maybe people today spend 20% or more of their week slacking off. If they can eliminate that slack-off time, they could have every Friday off.

* People could "work faster/harder" and get the same amount of work done in less time?

* Maybe we don't need all this work to get done anyway? But then what are the side effects? 20% fewer medical services, restaurants, groceries, deliveries, plumbing, construction, government operations...?
Key difference between a regular HTTP server and IPFS is that you can always try a different gateway/relay to get the very same content, and you can be sure it's the same. Cannot really do that with HTTP today as it's usually tied to locations, in one or another way.
> What (other?) specific APIs are you interested in them focusing on?

If a future Interop were to do this, I'd assume they'd define something like "profiles" of PWA capabilities (e.g. "Minimal" and "Extended") using lists like the ones at https://web.dev/learn/pwa/capabilities and https://whatpwacando.today/ for inspiration.
Just to add some context, Matt (who posted this on his ma.tt website) is the creator of the popular and open-source / free WordPress CMS.
Q: How do they define a 'labor shortage'? A: Companies hiring less.

Hmmm... real earnings are down 4-6% every year, so... no.

https://www.destatis.de/EN/Themes/Labour/Earnings/Real-Earni...
They should ask ChatGPT to come up with some more creative names.
I only have one option (shitty broadband) that allows me to do my job as a developer in America’s second largest city, so no, not really.
Location: San Francisco, CA

Remote: Yes/Hybrid

Willing to relocate: No

Technologies: Python, Digital Light Synthesis 3D Printing (Carbon3d Printers), formulation, analytical chemistry, wet chemistry, material science, Git, Docker, AWS, Jenkins, CSS, social media management, JIRA, Confluence, copywriting

Resume: Below

Email: mattsloyer [at] gmail.com

2.5 Years in the 3D printing/ material development space as a senior formulation technician and analytical chemist.

3.5 years of analytical chemistry, sample prep, wet chemistry, laboratory work for 3D printing and pharmaceutical industry.

1 year GMP experience

Light experience using Python, Git, Docker, AWS, and Jenkins to write diagnostic tests for systems team. Creating new branches, pushing PR's and merging back with master

Social Media management:

Lead event and record release promotional efforts within Gold Bloc community and social media channels. Manage three IG accounts including: Gold Bloc Records, Gold Bloc Artists, and the Gold Bloc co-founder’s personal account. Create and schedule Instagram reels, grid posts, and story updates weekly. Understand and work within the IG algorithm to achieve a 300% increase in accounts reached on one account in 5 Months. Network new contacts for the record label and artist collective, promote new shows and events using social media outlets and personal out-reach. Work with leadership on a weekly basis to discuss social media direction and angle. Coordinate with artists, videographers, and photographers to collect the best content for promotional reels and posts

Volunteer work: Help For Children 2023 SF Art Battle Fundraiser Social media liaison

Looking for project/product management, social media management, creative strategist/director roles and project coordinator roles in Series A startups located in the Bay Area
- in code: code-level context

- in commits: changeset-level context

- in jira: if you need to provide changeset-level context, point them to the MR/commit log

- in confluence: high-level documentation

- in daily standups: status update; if you need to provide changeset-level context, point them to the MR/commit log

- in release notes: generate automatically from commit log

IMO duplication in documentation should be treated the same as in code – it should be avoided as much as possible.
No, we could not wait to start doing number theory until after we discover that it's useful for cryptography. It took thousands of years to get to the point where we understood it well enough to use it. Its use would never occur to us if we had not discovered it beforehand. That's completely the wrong causal direction.

What completely undiscovered branch of mathematics do you think we should explore based on an immediate need that we have right now? Not so easy, is it?
I find that asking do I really need this right now? Is generally good enough. Diagrams just help to see the lay of the land.
"needs work" is an understatement. ROCM only just came out for windows(!) and so far everyone in the LLM and SD scene says that ROCM on linux is a pain in the ass to get working, requires a lot of hackery and override environment variables, is buggy, and also only supports a small handful of cards - whereas CUDA runs on nearly everything NVIDIA makes, from laptop GPUs to datacenter compute cards. And there's very little support on the third party software side at the moment.

That "no consumer hardware support" sounds stupid, but people getting into ML/AI, grad students, etc want to be able to mess around and develop/prototype on local hardware they already own.

You cannot do that with ROCM, because they only support a very, very small number of consumer-level cards - and very oddly, it's a mix of the very high end and low end, nothing in the middle.

AMD is also massively behind hardware-wise with only the current 7xxx series cards that just came out having AI-specific hardware, whereas NVIDIA has had tensor cores for three generations of their cards.

But of course AMD can't do anything right, so they nerfed the GPU's graphics processing cores when they added the AI stuff, making the cards a worse deal from a pure gaming standpoint. The 7000 series cars are basically a tiny bump at best, and in many games worse, than the 6000 series equivalents. Their only advantage is better hardware video encoding support and somewhat better power consumption.
How dare people from a country mandate colleagues to speak the country's language!

I guess that's what happens when digital nomad ideology collides with the real world...
Oh, thanks, TIL.
I'm generally wary of code comments. They tend to rot; people change the code around them but then forget to update the comments. They also take up valuable screen real estate. I'd mostly rather be reading code than comments, and I can see more context when there are fewer comments.

If a comment truly is necessary, it should explain why the code is doing something tricky, unusual, or unexpected.

In your particular example, that comment is superfluous; the constant should just be called MAX_SUPPORTED_SIZE, or something similar, that describes it better and makes the comment redundant and unnecessary.

Otherwise I agree; there's so much redundancy in our work, it's silly...