GoKawiil - Latest Tech News & Aggregated Headlines

I wrote my PhD Thesis in Typst

news.ycombinator.com Unknown 2025-09-03 04:12:01

I wrote my PhD Thesis in Typst I recently submitted my PhD thesis, and while waiting for the physical copies to get printed I thought I'd write about something you (hopefully) wouldn't notice when reading it. I wrote it in Typst, not LaTeX. In this post I will talk a bit about what went well and what didn't. Typst (https://typst.app/) is a modern take on a typesetting language that I think has a real shot at dethroning LaTeX. I would describe the language as a mix of markdown and dynamically t

Topics: language latex template thesis typst

Shop Amazon

Klong: A Simple Array Language

news.ycombinator.com Unknown 2025-09-04 08:44:09

Klong A Simple Array Language The Klong Book Documentation | Download Klong is an array language, like K, but without the ambiguity. If you know K or APL, you may be disappointed by Klong. If you don't know any array languages, it might explode your brain. Use at your own risk! Programming in Klong A Klong program is a set of functions that use various pre-defined operators to manipulate lists (vectors) and (multi-dimensional) arrays. Here is a program that checks whether a number x is pri

Topics: array klong know language programming

Shop Amazon

Once You Notice ChatGPT's Weird Way of Talking, You Start to See It Everywhere

futurism.com Unknown 2025-09-06 14:15:36

It's not written by humans, it's written by AI. It's not useful, it's slop. It's not hard to find, it's everywhere you look. As AI-generated text is becoming increasingly ubiquitous on the internet, some distinctive linguistic patterns are starting to emerge — maybe more so than anything else, that pattern of negating statements typified by "it's not X, it's Y." Once you notice it, you start to see it everywhere. One teacher on Reddit even noticed that certain AI phrase structures are making t

Topics: ai human just language use

Shop Amazon

I'm an Anime Collector. 3 AI Phone Features I Used While Visiting Tokyo

cnet.com See Full Bio 2025-09-10 02:00:03

I love collecting Japanese anime merch. I'm also a tech creator and an educator who loves using technology to make my life easier. On a recent trip to Tokyo, I decided to use AI features on my phone to help me navigate the city. I've visited Japan six times in recent years, and as an avid fan and consumer of Japanese anime and pop culture, I fully intend to visit many more times for general tourism, pop-up events, specialty museums and parks. But my earliest visits to Tokyo were overwhelming an

Topics: ai circle language time translate

Shop Amazon

LLMs pose an interesting problem for DSL designers

news.ycombinator.com Kiran Gopinathan 2025-09-10 04:17:05

The most exciting part of Programming Languages (PL) research for me has always been in Programming Language Design. By carefully crafting a language with a syntax and semantics tailored for a specific domain, PL designers can provide an interface for end users that seamlessly aligns with the sensibilities and intuitions of practitioners, allowing users to focus on the "interesting" parts of a problem and tackle larger and more complex problems. Instead of writing a verbose sequence of API cal

Topics: alice character design dsl language

Shop Amazon

Programming Language Design in the Era of LLMs: A Return to Mediocrity?

news.ycombinator.com Kiran Gopinathan 2025-09-10 19:17:05

The most exciting part of Programming Languages (PL) research for me has always been in Programming Language Design. By carefully crafting a language with a syntax and semantics tailored for a specific domain, PL designers can provide an interface for end users that seamlessly aligns with the sensibilities and intuitions of practitioners, allowing users to focus on the "interesting" parts of a problem and tackle larger and more complex problems. Instead of writing a verbose sequence of API cal

Topics: alice character design dsl language

Shop Amazon

What is systems programming, really? (2018)

news.ycombinator.com Unknown 2025-09-14 07:42:04

$$ % Typography and symbols ewcommand{\msf}[1]{\mathsf{#1}} ewcommand{\ctx}{\Gamma} ewcommand{\qamp}{&\quad} ewcommand{\qqamp}{&&\quad} ewcommand{\Coloneqq}{::=} ewcommand{\proves}{\vdash} ewcommand{\star}[1]{#1^{*}} ewcommand{\eps}{\varepsilon} ewcommand{ ul}{\varnothing} ewcommand{\brc}[1]{\{{#1}\}} ewcommand{\binopm}[2]{#1~\bar{\oplus}~#2} ewcommand{\mag}[1]{|{#1}|} ewcommand{\aequiv}{\equiv_\alpha} ewcommand{\semi}[2]{{#1};~{#2}} % Untyped lambda calculus ewcommand{\fun}[2]{\

Topics: ewcommand languages msf programming systems

Shop Amazon

“Language and Image Minus Cognition”: An Interview with Leif Weatherby

news.ycombinator.com Author Archive 2025-09-11 01:03:46

by Robin Manley Leif Weatherby is an Associate Professor of German at New York University, where he directs the Digital Theory Lab. Robin Manley spoke with Dr. Weatherby about his latest book, Language Machines: Cultural AI and the End of Remainder Humanism (University of Minnesota Press, 2025), which argues that Large Language Models (LLMs) have effected a separation of cognition from language and computation in a form that corresponds to earlier structuralist theories. Robin Manley: In the i

Topics: ai book language structuralism think

Shop Amazon

ChatGPT Glossary: 52 AI Terms Everyone Should Know

cnet.com See Full Bio 2025-09-14 04:00:11

AI is now a part of our everyday lives. From the massive popularity of ChatGPT to Google cramming AI summaries at the top of its search results, AI is completely taking over the internet. With AI, you can get instant answers to pretty much any question. It can feel like talking to someone who has a Ph.D. in everything. But that aspect of AI chatbots is only one part of the AI landscape. Sure, having ChatGPT help do your homework or having Midjourney create fascinating images of mechs based on c

Topics: ai data language learning model

Shop Amazon

MUMPS

news.ycombinator.com Unknown 2025-09-14 18:52:34

Programming language This article is about the programming language. For the disease, see Mumps . For other uses, see Mumps (disambiguation) MUMPS ("Massachusetts General Hospital Utility Multi-Programming System"), or M, is an imperative, high-level programming language with an integrated transaction processing key–value database. It was originally developed at Massachusetts General Hospital for managing patient medical records and hospital laboratory information systems. MUMPS technology ha

Topics: 11 language mumps set standard

Shop Amazon

Mumps (Programming Language)

news.ycombinator.com Unknown 2025-09-14 23:52:34

Programming language This article is about the programming language. For the disease, see Mumps . For other uses, see Mumps (disambiguation) MUMPS ("Massachusetts General Hospital Utility Multi-Programming System"), or M, is an imperative, high-level programming language with an integrated transaction processing key–value database. It was originally developed at Massachusetts General Hospital for managing patient medical records and hospital laboratory information systems. MUMPS technology ha

Topics: 11 language mumps set standard

Shop Amazon

Subtype Inference by Example

news.ycombinator.com Considerations On Codecrafting 2025-09-11 18:04:40

In recent years, there has been increasing interest in tools and programming languages that can automatically detect common types of bugs, in order to improve product quality and programmer productivity. Most commonly, this is done via static type systems, but traditional static type systems require large amounts of manual annotation by programmers, making them difficult to work with. Therefore, modern programming languages make increasing use of type inference, which provides the same benefits

Topics: cubiml languages let syntax type

Shop Amazon

Show HN: GetHooky – a language-agnostic Git hook manager

news.ycombinator.com Unknown 2025-09-16 13:31:44

The art of forgetting to run the linter isn't old - wise old programmer, 2025 Ever forgot to run the linter before doing a git push to production? Not anymore! GetHooky will make sure you don't screw up again! Automatically test and lint your code upon doing a commit or git push! Most tools for git hook mangement are mostly language specific and work for specific languages only, or you either have to do crazy configurations. But with GetHooky, all you have to do is, install once, use as ma

Topics: gethooky git language linter work

Shop Amazon

Lifetime Subscription to Babbel for 71% Off and an Extra Discount Gets You Mind-Expanding Language Lessons Forever

gizmodo.com Mike Fazioli 2025-09-19 01:40:15

It’s natural to be envious of people who can casually move from language to language, in conversation or as they’re reading. It’s definitely not easy, but learning a new language is well worth the effort, especially when you have lifetime access to 14 languages when you buy a subscription to Babbel at StackSocial for 71% off. See at StackSocial Babbel is the world’s top-selling language instruction app, and this is a buy-once-own-forever deal rather than a recurring yearly or monthly bill for

Topics: babbel language lifetime stacksocial use

Shop Amazon

As the Kernel Turns: Rust in Linux saga reaches the “Linus in all-caps” phase

arstechnica.com Unknown 2025-06-03 17:55:11

Rust, a modern and notably more memory-safe language than C, once seemed like it was on a steady, calm, and gradual approach into the Linux kernel. In 2021, Linux kernel leaders, like founder and leader Linus Torvalds himself, were impressed with the language but had a "wait and see" approach. Rust for Linux gained supporters and momentum, and in October 2022, Torvalds approved a pull request adding support for Rust code in the kernel. By late 2024, however, Rust enthusiasts were frustrated wi

Topics: kernel language linux rust torvalds

Shop Amazon

Nvidia helps launch AI platform for teaching American Sign Language

venturebeat.com Dean Takahashi 2025-06-03 19:00:00

Join our daily and weekly newsletters for the latest updates and exclusive content on industry-leading AI coverage. Learn More Nvidia has unveiled a new AI platform for teaching people how to use American Sign Language to help bridge communication gaps. The Signs platform is creating a validated dataset for sign language learners and developers of ASL-based AI applications. It so happens that American Sign Language is the third most prevalent language in the United States — but there are vas

Topics: ai asl language platform signs

Shop Amazon

Mistral's new AI model specializes in Arabic and related languages

zdnet.com Matene Toure 2025-06-03 19:37:37

chrispecoraro/Getty Images Paris-based AI startup Mistral is focusing on providing large language models (LLMs) that understand regional-specific languages and are tailored to grasp the cultural nuances sometimes overlooked in larger, more general-purpose models trained to be versed in multiple languages. Mistral has released its first "specialized" regional language-focused model, Saba. According to Mistral, the 24-billion-parameter model has been trained on "meticulously curated datasets" fr

Topics: arabic languages mistral model saba

Shop Amazon

Latest Tech News

I wrote my PhD Thesis in Typst

Klong: A Simple Array Language

Once You Notice ChatGPT's Weird Way of Talking, You Start to See It Everywhere

I'm an Anime Collector. 3 AI Phone Features I Used While Visiting Tokyo

LLMs pose an interesting problem for DSL designers

Programming Language Design in the Era of LLMs: A Return to Mediocrity?

What is systems programming, really? (2018)

“Language and Image Minus Cognition”: An Interview with Leif Weatherby

ChatGPT Glossary: 52 AI Terms Everyone Should Know

MUMPS

Mumps (Programming Language)

Subtype Inference by Example

Show HN: GetHooky – a language-agnostic Git hook manager

Lifetime Subscription to Babbel for 71% Off and an Extra Discount Gets You Mind-Expanding Language Lessons Forever

As the Kernel Turns: Rust in Linux saga reaches the “Linus in all-caps” phase

Nvidia helps launch AI platform for teaching American Sign Language

Mistral's new AI model specializes in Arabic and related languages

About GoKawiil

Privacy

Advertising

Latest Tech News

Trending Topics

Hot Now

Popular

Emerging

About GoKawiil

Privacy

Advertising