Jtsummers

611 ms·

3061.
by Jtsummers 3y ago
> TFA says that Python being dynamic means it is not type-checked at compilation time -- that's practically the same as saying the opposite of "python is strongly typed" for most people's intended meaning of "str
3062.
by Jtsummers 3y ago
Probably for the same rationale they provided to exclude Python from examination: > Python's type system: Dynamic languages like Python do local type checks to establish global safety properties. However, the type checks are not don
3063.
by Jtsummers 3y ago
> It removes work that adds no value. In other words, copilot adds value. If the work has no value, then copilot can't add value by doing it. You can add value by exercising good judgement and not doing it at all.
3064.
by Jtsummers 3y ago
Looks like an in-person (or otherwise live, perhaps video) tutorial session. Note that it talks about being a half-day tutorial. Odd phrasing if it's not meant to be live. This would be support material sent out to the students partici
3065.
by Jtsummers 3y ago
> But for many other tasks, getting an outline - even a broken one - can often unblock things. I've noodled with fixing a bug in a compiler for a while, and asking ChatGPT gave me a solution that didn't work, but that was close
3066.
by Jtsummers 3y ago
> I'm not a lisper but it seems what's special about lisp is it defines its programs in a generic data format. One of the things that still makes Lisp special. It makes metaprogramming "easy" in contrast to metaprogra
3067.
by Jtsummers 3y ago
If you're reading this, it's working. A lot of high comment count posts on the front page thanks to the various Apple announcement discussions. If it's sluggish, log out or view it in a different-than-normal browser or privac
3068.
by Jtsummers 3y ago
Not GP, but I don't care if a random person does it. I care when someone who is, ostensibly, intending to interact with me does it. You can't actually tell whether they're engaging with you fully or not, like if I were conver
3069.
by Jtsummers 3y ago
Bump predated that and was available on both iPhone and Android which is what the OP in this thread was almost certainly referring to since that's the app they named.
3070.
by Jtsummers 3y ago
The language in The Little Typer supports not just static types but dependent typing. A much more interesting capability.
3071.
by Jtsummers 3y ago
The LOOP facility is also often more efficient than stringing together map, reduce, and other functions. Unless you use something like SERIES (or a similar package) which can perform stream fusion for efficiency, but that's not the nor
3072.
by Jtsummers 3y ago
Racket would be my suggestion. As much as I like Common Lisp, it has a lack of material targeting kids (other than particularly motivated ones). Scheme would be a second suggestion, but Racket is descended from Scheme and so is mostly (with
3073.
by Jtsummers 3y ago
Every shelter will provide vaccinations, many shelters will also fix the cats or provide a coupon for an associated vet (so it only costs you the time, and tending to them during recovery, not money). It should not cost $900 in 18 months fo
3074.
by Jtsummers 3y ago
https://archive.is/X0jJq
3075.
by Jtsummers 3y ago
https://dcic-world.org/2023-02-21/part_appendix.html#%28part... For anyone, like me, that had checked this book out in an earlier release and wants to know what's changed. Seems like rather substantial alterations
3076.
by Jtsummers 3y ago
It doesn't mention TB itself because it references https://app.leg.wa.gov/RCW/default.aspx?cite=70.28.031 which is about TB. In fact both are sections of https://app.leg.wa.gov/RCW/default.asp
3077.
by Jtsummers 3y ago
It's actually a pretty scrutable paper. Most of the examples are in ML (or an ML-inspired notation). They are concise and clear in their presentation if you spend a moment scrutinizing them if you happen to be unfamiliar with the ML-fa
3078.
by Jtsummers 3y ago
Related to this discussion: https://news.ycombinator.com/item?id=36154011 alexdowad mentioned it in a comment here which reminded me I had meant to post it: https://news.ycombinator.com/item?id=36164972
3079.
Logic Programming is Underrated (2013)(swannodette.github.io)
4 points by Jtsummers 3y ago|1 comments
3080.
by Jtsummers 3y ago
The UB permits the optimization, but is not necessary for it. If a language had a stricter definition of pointer and memory access behavior then the optimization would still be applicable if it conformed to the assumption that people are ma
3081.
by Jtsummers 3y ago
https://news.ycombinator.com/item?id=34208686 Bad past behavior. Their comment wasn't flag-killed, it was dead on arrival but can be vouched for (presumably you did). When comments show up [dead] (no [flagged]) it&#x27
3082.
by Jtsummers 3y ago
Or anyone who's ever worked in the food (and adjacent) industry and gone to the health department for a TB test. It's pretty commonly referred to as TB across the US.
3083.
by Jtsummers 3y ago
https://archive.is/uEwML
3084.
by Jtsummers 3y ago
> The US military is playing with fire creating AI that will carry out the mission at all costs. This scenario is literally the plot of EVERY sci-fi warning about misused AI. These aren't operational systems, these are research syst
3085.
by Jtsummers 3y ago
From reading the article, it appears that there was a fence (presumably intersecting sections of fence) that had to be overcome. Climbing the fences would be, nominally, stepping foot on those fenced properties. Using the ladder let them go
3086.
by Jtsummers 3y ago
solution(Pairs, Water, Zebra, Vs) :- Table = [Houses,Nations,Drinks,Smokes,Animals], Houses = [Red,Green,Yellow,Blue,Ivory], Nations = [England,Spain,Ukraine,Norway,Japan], Names = [england,
3087.
by Jtsummers 3y ago
bafe, I vouched for your comment. You may want to reach out to the mods (hn@ycombinator.com) because your account appears to have been shadowbanned. You only have 4 comments and all were dead (not marked as [flagged] which is typically ther
3088.
by Jtsummers 3y ago
Lisp also has a distinction between kinds of conditions but using the same underlying mechanism. You can have a plain signal which is informational. For instance in a data processing task you can signal your progress, and if there is a ha
3089.
by Jtsummers 3y ago
https://www.amazon.com/Common-Lisp-Condition-System-Mechanis... Unshortened URL: The Common Lisp Condition System by Michał "phoe" Herda.
3090.
by Jtsummers 3y ago
Human-scale puzzles can still have search spaces in the billions and trillions and beyond. You want a SAT/SMT solver that can reduce the search space rapidly or a constraint propagation system that can similarly reduce the search space

More ›