7 ms·
Racket 7.8
- simias 6y agoFor those who like me aren't familiar with the concept of "float boxing", I think this is the same thing: https://www.lexifi.com/ocaml/unboxed-floats-ocaml/ https://www.lexifi.com/ocaml/unboxed-floats-ocaml/ Basically if I understand correctly this removes an indirection when using floats, probably reducing the memory footprint and improving performance.
- bjoli 6y agoFor computations using a lot of float arithmetic it removes boxing and unboxing. Say: (fl+ (fl* f1 f2) (fl* fl3 fl4)). This has to unbox fl1 fl2 fl3 and fl4, but racket 7.7 immediately boxes the result of fl* only to unbox it again for fl+. This new racket does not.
- ed25519FUUU 6y agoI’m curious why we have aarch64 and not ARM64?
- simias 6y agoAren't they one and the same thing? Like x86-64 and amd64?
- grugagag 6y agoMy understanding is that it is the same thing https://en.m.wikipedia.org/wiki/AArch64 https://en.m.wikipedia.org/wiki/AArch64
- xxpor 6y ago"AArch64 is the 64-bit state introduced in the Armv8-A architecture (https://en.wikipedia.org/wiki/ARM_architecture#ARMv8-A https://en.wikipedia.org/wiki/ARM_architecture#ARMv8-A). The 32-bit state which is backwards compatible with Armv7-A and previous 32-bit Arm architectures is referred to as AArch32. Therefore the GNU triplet for the 64-bit ISA is aarch64. The Linux kernel community chose to call their port of the kernel to this architecture arm64 rather than aarch64, so that's where some of the arm64 usage comes from. As far as I know the Apple backend for aarch64 was called arm64 whereas the LLVM community-developed backend was called aarch64 (as it is the canonical name for the 64-bit ISA) and later the two were merged and the backend now is called aarch64." https://stackoverflow.com/questions/31851611/differences-between-arm64-and-aarch64 https://stackoverflow.com/questions/31851611/differences-bet...
- masklinn 6y agoBecause ARM decided to "relabel" their 32-bit architecture as AArch32 and the 64b one as AArch64, and most people just followed with that to avoid confusion. Furthermore "ARM64" collides a slight bit with ISA revisions naming scheme, which is of the form ARMvX-<variant>.
- ben-schaaf 6y agoAfter a little research it looks like aarch64 (Arm ARCHitecture 64-bit) is the official name. ARM64 comes from the previously closed source llvm backend for aarch64 made by Apple: https://www.phoronix.com/scan.php?page=news_item&px=MTY5ODk https://www.phoronix.com/scan.php?page=news_item&px=MTY5ODk, but is now used as shorthand, like x64.
- cellularmitosis 6y ago> like x64 I seem to recall reading somewhere that "x64" actually referred to something which was distinct from x86_64 (was it a special mode of using 32-bit pointers with a 64-bit kernel? I can't remember exactly now), but now that I am googling for it, I can't seem to find anything.
- vlovich123 6y agoYou're thinking of x32 ABI [1]. [1] https://en.wikipedia.org/wiki/X32_ABI https://en.wikipedia.org/wiki/X32_ABI
- fovc 6y agoIs HN still running on Racket via arc? Have you guys tried out the chez backend?
- vmchale 6y agoCool! I have a gemini PDA that runs AArch64, always good to be able to do more functional programming on it :)
- nikki93 6y agoAnyone try running this on iOS? Does the CS backend always definitely need writable executable memory access (not available on iOS) or can it interpret a bytecode?
- pjmlp 6y ago> Racket CS may become the default Racket implementation in the next release Looking great!
- rcarmo 6y agoI like the HTTP speed ups. I wonder how fast the new engine is in general. I have played with Chez, haven’t had time to try doing a serious amount of Racket but worry about algorithmic performance-graph traversals, for instance.
- cat199 6y agoI'm not very up on about the chez integration into racket, but on it's own, chez is/was consistently at the top of scheme performance benchmarks in almost all areas - it's nearly 40y old with continuous improvements/research into performance throughout the history and was sold commercially for many years and well past the era where buying tools for software development is the default. This paper from 15 years ago should impress anyone interested in compiler design performance, esp. for weakly typed languages or lisps: https://legacy.cs.indiana.edu/~dyb/pubs/hocs.pdf https://legacy.cs.indiana.edu/~dyb/pubs/hocs.pdf
- sansnomme 6y agoAnd still no proper dependency versioning, it seems that the progress made by Npm, RubyGems, Cargo is entirely lost on them.
- Fellshard 6y agoThere are a vast number of critiques regarding the model those ecosystems have used; it would be unwise to stick the label 'progress' on them until some of those core problems are resolved.
- simias 6y agoWith regards to dependency versioning? I wasn't aware of that. I've been very happy with Cargo's handling of versioning so far, but maybe I've been lucky and haven't hit the pain spots.
- sansnomme 6y agoThat's rich considering Python is routinely criticized here for lack of proper dependency management until recently. Just because Racket is a cute Lisp/academic language does not mean it should be held to lower standards especially considering their recent efforts in relicensing and marketing to be regarded as a "serious" production language.
- rscho 6y agoRacket has a much smaller community. Also, it is more geared towards academic/hobby work than towards production software. So priorities are different from the languages you mentioned. Still, racket remains by far the best solution for research in language technology.
- dang 6y agoPlease don't be a jerk when discussing other people's work in HN comments. It subtly poisons the environment. https://news.ycombinator.com/newsguidelines.html https://news.ycombinator.com/newsguidelines.html
- ketralnis 6y ago