srcreigh

20 ms·

331.
by srcreigh 3y ago
The article isn't about output token limits, it's about input token limits.
332.
by srcreigh 3y ago
Just because a system can encode paradoxes doesn't mean the system itself can't be solved. Turing, Chaitin, Godel didn't prove things can't be solved, they actually contributed by solving specific areas of specific sys
333.
Paradoxes of randomness and the limitations of mathematical reason [pdf](onlinelibrary.wiley.com)
3 points by srcreigh 3y ago|0 comments
334.
by srcreigh 3y ago
It's somewhat implied by the first example on the Untouchable number page. > The number 4 is not untouchable as it is equal to the sum of the proper divisors of 9: 1 + 3 = 4. If repeated divisors were counted, that sum would be 7, n
335.
by srcreigh 3y ago
is there precedence for linux adding new APIs which wrap old APIs, don't implement some features of the old APIs, and add their own new functionality on top? It seems like a recipe for disaster, but also maybe it's the only realis
336.
by srcreigh 3y ago
It’s not an anecdote, it’s the idea that there are no anecdotes. That is a much more risky idea in the first place, and your link provides quite a few such anecdotes.
337.
by srcreigh 3y ago
In some sense, on an equal temperament piano a major 7th is less dissonant than a major 3rd. But major 7th can’t be played using black keys and major 3rds can. Check the table in 12 tone equal temperament > Comparison with just intonatio
338.
by srcreigh 3y ago
Yep. My head unit has its own startup time for digital audio inputs, around 2-3s.
339.
by srcreigh 3y ago
Very OT, but I concur. I need a DSP for my car audio system. I considered a rpi3 with a DAC attachment. I tried the raspbian OS with some moderate overclocking and removing unneeded startup processes. Couldn’t get it under 25 seconds for bo
340.
by srcreigh 3y ago
The simulation is overly simplistic. If someone in row 3 finishes their bags, the other people in row 3 don’t always hold up the line for the rest of the plane. - some people prefer to sit and wait - some people let others through before bl
341.
by srcreigh 3y ago
Fwiw, 90% of the time when I visit a cool package I don’t interact with the creator at all. If you do want nice notes, solicit them in the readmes. “If you see this, send me a note at foo@bar and tell me your thoughts!” I rarely email a ran
342.
by srcreigh 3y ago
> Hardly shocking. I would be interested in seeing data -- if it's available -- on how much that uptick is due to people with addictions moving to the state in hopes of reducing the odds of ending up in jail over their uncontrollabl
343.
by srcreigh 3y ago
To me it’s obvious there’s a ton of intuition that led to that question.
344.
by srcreigh 3y ago
Apple bans alternative web browsers too... so..
345.
by srcreigh 3y ago
The 6.4.6 kernel has mitigations, but the arch “linux” package is still at 6.4.5.
346.
by srcreigh 3y ago
Sure, and if that is what was actually happening it'd be fine. It's just hard to know if its actually an ad (make positive video we pay you $5k and give you game for free and review what you say before you can post) or just "
347.
by srcreigh 3y ago
Maybe that’s why china bans Facebook, limits TikTok usage to 1h per day, and video games to 1 hour per day on weekends and public holidays only. What addictive software system isn’t banned in china? maybe software development..
348.
by srcreigh 3y ago
Fraud isn’t even negative at a certain point. Whichever person is the top of a prestigious fraud ring still deserves a kind of clout. There’s skills and talent involved not to mention how fraud itself is sadly valuable for most organization
349.
by srcreigh 3y ago
It’s not just sound, it’s literally entitled overtone singing. FYI for anybody. Your A440 is not the only frequency. There’s every integer multiple (880, 1320, etc) as well. Different coefficients of those overtones are why you can sing “ah
350.
by srcreigh 3y ago
At UWaterloo 2 required first year courses are heavily proof based. One is basically intro to proofs. And second year there’s required graph theory/combinatorics course which are also proofs. 2nd year formal logic. 3rd year algorithms
351.
by srcreigh 3y ago
Name your school when you make comments like this. At UWaterloo half my classes were proofs. The other half were projects/coding assignments. If you can’t prove things and don’t cheat, you can’t get a UWaterloo CS degree. Can’t get pas
352.
by srcreigh 3y ago
Pictures in the word doc linked to here [1] https://www.sciencedirect.com/science/article/pii/S2352409X1...
353.
by srcreigh 3y ago
By default it’s an optimization fence if a CTE is referenced 2+ times, and not an optimization fence if referenced 0-1 times. The MATERIALIZED and NOT MATERIALIZED overrides the default.
354.
by srcreigh 3y ago
Fwiw, I don’t think tailwind UI has any of the issues you raise. https://tailwindui.com/license They do have a catch all, but for PR sake they probably won’t use that unless you’re clearly in the wrong.
355.
by srcreigh 3y ago
My brother works for Birds Canada making 40k CAD a year. Got dropped into a 500-1M line Java codebase and asked to do site redesign and is now implementing SSO for them. I recommended “Working With Legacy Code” and he read it. His first job
356.
by srcreigh 3y ago
Read this, seems A) rare and B) not clearly due to green tea extract. The data is basically anecdotal and there isn’t a lot of cases. And none of the cases were due to using green tea, they were herbal mixtures with many ingredients.
357.
by srcreigh 3y ago
Another missed chance to educate on the N+1 area. Join on unclustered index is still N+1, it’s just N+1 on disk instead of N+1 over the network and disk.
358.
by srcreigh 3y ago
It's not extortion when the search is for Y product and the customer only knows about X brand.
359.
by srcreigh 3y ago
what have you found?
360.
by srcreigh 3y ago
Not to mention the 8 second startup time penalty to generate 150 models worth of Hibernate code at runtime (every time, with no caching...) Over the course of a month this cost me as much as 2 hours of time.

More ›